Searched refs:host_ia32_pat (Results 1 – 1 of 1) sorted by relevance
434 u64 host_ia32_pat; member959 FIELD64(HOST_IA32_PAT, host_ia32_pat),11966 vmcs_write64(GUEST_IA32_PAT, vmcs12->host_ia32_pat); in load_vmcs12_host_state()11967 vcpu->arch.pat = vmcs12->host_ia32_pat; in load_vmcs12_host_state()