VMCS_HOST_IA32_PAT
if ((error = vmwrite(VMCS_HOST_IA32_PAT, pat)) != 0)
error = vm_get_vmcs_field(vcpu, VMCS_HOST_IA32_PAT, &pat);