MSR_IA32_MCx_ADDR  209 arch/x86/kernel/cpu/mce/core.c 	return MSR_IA32_MCx_ADDR(bank);
MSR_IA32_MCx_ADDR  477 arch/x86/kernel/cpu/mce/inject.c 		wrmsrl(MSR_IA32_MCx_ADDR(b), m.addr);