MSR_MTRRcap
rdmsr(MSR_MTRRcap, config, dummy);
rdmsr(MSR_MTRRcap, lo, dummy);
rdmsr(MSR_MTRRcap, config, dummy);
if (msr == MSR_MTRRcap) {
case MSR_MTRRcap:
case MSR_MTRRcap:
{HV_X64_REGISTER_MSR_MTRR_CAP, -1, MSR_MTRRcap},