MSR_MTRRfix4K_C0000
{ MSR_MTRRfix4K_C0000, 8 }, /* eight 4k MTRRs */
rdmsr(MSR_MTRRfix4K_C0000 + i, p[6 + i * 2], p[7 + i * 2]);
case MSR_MTRRfix4K_C0000:
index = msr - MSR_MTRRfix4K_C0000;
{HV_X64_REGISTER_MSR_MTRR_FIX4KC0000, -1, MSR_MTRRfix4K_C0000},