Symbol: IDX_MSR_PAT
sys/amd64/vmm/intel/vmx_msr.c
329
vcpu->guest_msrs[IDX_MSR_PAT] = PAT_VALUE(0, PAT_WRITE_BACK) |
sys/amd64/vmm/intel/vmx_msr.c
434
*val = vcpu->guest_msrs[IDX_MSR_PAT];
sys/amd64/vmm/intel/vmx_msr.c
487
vcpu->guest_msrs[IDX_MSR_PAT] = val;