/* The interrupt handler. This is called on every event. Just call the poller directly to log any events. This could in theory increase the threshold under high load, but doesn't for now.  */
static void intel_threshold_interrupt(void)
/* The interrupt handler. This is called on every event. Just call the poller directly to log any events. This could in theory increase the threshold under high load, but doesn't for now.  */
static void intel_threshold_interrupt(void)
{
	machine_check_poll(MCP_TIMESTAMP, &__get_cpu_var(mce_banks_owned));
	mce_notify_irq();
}