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);