MSR_AMD64_SMCA_MCx_DESTAT  961 arch/x86/kernel/cpu/mce/amd.c 		wrmsrl(MSR_AMD64_SMCA_MCx_DESTAT(bank), 0);
MSR_AMD64_SMCA_MCx_DESTAT  969 arch/x86/kernel/cpu/mce/amd.c 	_log_error_bank(bank, MSR_AMD64_SMCA_MCx_DESTAT(bank),
MSR_AMD64_SMCA_MCx_DESTAT  466 arch/x86/kernel/cpu/mce/inject.c 			wrmsrl(MSR_AMD64_SMCA_MCx_DESTAT(b), m.status);