smca_config 234 arch/x86/kernel/cpu/mce/amd.c u32 smca_config = MSR_AMD64_SMCA_MCx_CONFIG(bank); smca_config 237 arch/x86/kernel/cpu/mce/amd.c if (!rdmsr_safe(smca_config, &low, &high)) { smca_config 263 arch/x86/kernel/cpu/mce/amd.c wrmsr(smca_config, low, high);