VMCS_HOST_IA32_PAT
error = vm_get_vmcs_field(vcpu, VMCS_HOST_IA32_PAT, &pat);
vmcs_write(VMCS_HOST_IA32_PAT, vmm_get_host_pat());