MSR_IA32_MCx_MISC  214 arch/x86/kernel/cpu/mce/core.c 	return MSR_IA32_MCx_MISC(bank);
MSR_IA32_MCx_MISC  478 arch/x86/kernel/cpu/mce/inject.c 		wrmsrl(MSR_IA32_MCx_MISC(b), m.misc);