Searched refs:VMCS_HOST_IA32_PAT (Results 1 – 3 of 3) sorted by relevance
127 #define VMCS_HOST_IA32_PAT 0x00002C00 macro
797 vmcs_write(VMCS_HOST_IA32_PAT, vmm_get_host_pat()); in vmx_vminit()
853 error = vm_get_vmcs_field(vcpu, VMCS_HOST_IA32_PAT, &pat); in get_misc_vmcs()