MSR_MTRRdefType
wrmsr(MSR_MTRRdefType, rdmsr(MSR_MTRRdefType) & ~0x800);
wrmsr(MSR_MTRRdefType, mtrrdef | 0x800);
mtrrdef = rdmsr(MSR_MTRRdefType);
case MSR_MTRRdefType: return "MTRR default type";
case MSR_MTRRdefType: vmm_decode_mtrrdeftype_value(val); break;
wrmsr(MSR_MTRRdefType, rdmsr(MSR_MTRRdefType) & ~MTRRdefType_ENABLE);
wrmsr(MSR_MTRRdefType, mtrrdef | MTRRdefType_ENABLE);
mtrrdef = rdmsr(MSR_MTRRdefType);