Searched refs:host_ia32_pat (Results 1 – 1 of 1) sorted by relevance
261 u64 host_ia32_pat; member747 FIELD64(HOST_IA32_PAT, host_ia32_pat),10566 vmcs_write64(GUEST_IA32_PAT, vmcs12->host_ia32_pat); in load_vmcs12_host_state()10567 vcpu->arch.pat = vmcs12->host_ia32_pat; in load_vmcs12_host_state()