Symbol: MSR_MC0_CTL_MASK
sys/x86/x86/mca.c
1604
mask = rdmsr(MSR_MC0_CTL_MASK);
sys/x86/x86/mca.c
1606
wrmsr(MSR_MC0_CTL_MASK, mask | (1UL << 5));