MSR_MTRRfix4K_F8000
case MSR_MTRRfix4K_F8000:
} else if (msr >= MSR_MTRRfix64K_00000 && msr <= MSR_MTRRfix4K_F8000) {
case MTRRphysBase_MSR(0) ... MSR_MTRRfix4K_F8000:
case MTRRphysBase_MSR(0) ... MSR_MTRRfix4K_F8000:
case MTRRphysBase_MSR(0) ... MSR_MTRRfix4K_F8000:
{HV_X64_REGISTER_MSR_MTRR_FIX4KF8000, -1, MSR_MTRRfix4K_F8000},