MCP_TIMESTAMP
machine_check_poll(MCP_TIMESTAMP, &this_cpu_ptr(&mce_amd_data)->dfr_intr_banks);
machine_check_poll(MCP_TIMESTAMP, &this_cpu_ptr(&mce_amd_data)->thr_intr_banks);
if (flags & MCP_TIMESTAMP)
machine_check_poll(MCP_TIMESTAMP, this_cpu_ptr(&mce_banks_owned));