MSR_MTRRfix16K_80000
{ MSR_MTRRfix16K_80000, 2 }, /* two 16k MTRRs */
rdmsr(MSR_MTRRfix16K_80000 + i, p[2 + i * 2], p[3 + i * 2]);
case MSR_MTRRfix16K_80000:
index = msr - MSR_MTRRfix16K_80000;
{HV_X64_REGISTER_MSR_MTRR_FIX16K80000, -1, MSR_MTRRfix16K_80000},