Searched refs:host_ia32_pat (Results 1 – 2 of 2) sorted by relevance
118 u64 host_ia32_pat;
240 u64 host_ia32_pat; member677 FIELD64(HOST_IA32_PAT, host_ia32_pat),9942 vmcs_write64(GUEST_IA32_PAT, vmcs12->host_ia32_pat); in load_vmcs12_host_state()9943 vcpu->arch.pat = vmcs12->host_ia32_pat; in load_vmcs12_host_state()