/* On resume clear all MCE state. Don't want to see leftovers from the BIOS. Only one CPU is active at this time, the others get re-added later using CPU hotplug:  */
static int mce_resume(struct sys_device *dev)
/* On resume clear all MCE state. Don't want to see leftovers from the BIOS. Only one CPU is active at this time, the others get re-added later using CPU hotplug:  */
static int mce_resume(struct sys_device *dev)
{
	__mcheck_cpu_init_generic();
	__mcheck_cpu_init_vendor(&current_cpu_data);
	return 0;
}