mce_device_remove 2388 arch/x86/kernel/cpu/mce/core.c 		mce_device_remove(cpu);
mce_device_remove 2403 arch/x86/kernel/cpu/mce/core.c 	mce_device_remove(cpu);