MSR_IA32_P5_MC_ADDR
rdmsr(MSR_IA32_P5_MC_ADDR, loaddr, hi);
rdmsr(MSR_IA32_P5_MC_ADDR, l, h);
case MSR_IA32_P5_MC_ADDR: