Symbol: VMCS_GUEST_IA32_PAT
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1900
val = vmx_vmread(VMCS_GUEST_IA32_PAT);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1948
vmx_vmwrite(VMCS_GUEST_IA32_PAT, val);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2842
vmx_vmwrite(VMCS_GUEST_IA32_PAT,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2979
vmx_vmread(VMCS_GUEST_IA32_PAT);