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