MSR_MTRRfix64K_00000
{ MSR_MTRRfix64K_00000, 1 }, /* one 64k MTRR */
rdmsr(MSR_MTRRfix64K_00000, p[0], p[1]);
case MSR_MTRRfix64K_00000:
} else if (msr >= MSR_MTRRfix64K_00000 && msr <= MSR_MTRRfix4K_F8000) {
{HV_X64_REGISTER_MSR_MTRR_FIX64K00000, -1, MSR_MTRRfix64K_00000},