MSR_MTRRfix16K_80000
msr = MSR_MTRRfix16K_80000;
msr = MSR_MTRRfix16K_80000;
case MSR_MTRRfix16K_80000: return "MTRR fixed 16K";
msr = MSR_MTRRfix16K_80000;
msr = MSR_MTRRfix16K_80000;