GUEST_IA32_PAT
EVMCS1_FIELD(GUEST_IA32_PAT, guest_ia32_pat,
vmcs_write64(GUEST_IA32_PAT, vmcs12->guest_ia32_pat);
vmcs_write64(GUEST_IA32_PAT, vcpu->arch.pat);
vmcs_write64(GUEST_IA32_PAT, vmcs12->host_ia32_pat);
vcpu->arch.pat = vmcs_read64(GUEST_IA32_PAT);
FIELD64(GUEST_IA32_PAT, guest_ia32_pat),
vmcs_write64(GUEST_IA32_PAT, data);
vmcs_write64(GUEST_IA32_PAT, vmx->vcpu.arch.pat);
pr_err("PAT = 0x%016llx\n", vmcs_read64(GUEST_IA32_PAT));
case GUEST_IA32_PAT:
case GUEST_IA32_PAT:
vmwrite(GUEST_IA32_PAT, vmreadz(HOST_IA32_PAT));