Searched refs:VMCS_GUEST_IA32_PAT (Results 1 – 1 of 1) sorted by relevance
303 #define VMCS_GUEST_IA32_PAT 0x00002804 macro1864 val = vmx_vmread(VMCS_GUEST_IA32_PAT); in vmx_inkernel_handle_msr()1913 vmx_vmwrite(VMCS_GUEST_IA32_PAT, val); in vmx_inkernel_handle_msr()2681 vmx_vmwrite(VMCS_GUEST_IA32_PAT, in vmx_vcpu_setstate()2827 vmx_vmread(VMCS_GUEST_IA32_PAT); in vmx_vcpu_getstate()