/* Just in case we missed an event during initialization check all the CMCI owned banks.  */
void cmci_recheck(void)
/* Just in case we missed an event during initialization check all the CMCI owned banks.  */
void cmci_recheck(void)
{
	unsigned long flags;
	int banks;
	if (!mce_available(&current_cpu_data) || !cmci_supported(&banks))
		return;
	local_irq_save(flags);
	machine_check_poll(MCP_TIMESTAMP, &__get_cpu_var(mce_banks_owned));
	local_irq_restore(flags);
}