HOST_IA32_PAT
EVMCS1_FIELD(HOST_IA32_PAT, host_ia32_pat,
FIELD64(HOST_IA32_PAT, host_ia32_pat),
vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));
pr_err("PAT = 0x%016llx\n", vmcs_read64(HOST_IA32_PAT));
case HOST_IA32_PAT:
case HOST_IA32_PAT:
vmwrite(HOST_IA32_PAT, rdmsr(MSR_IA32_CR_PAT));
vmwrite(GUEST_IA32_PAT, vmreadz(HOST_IA32_PAT));