Searched refs:host_pat (Results 1 – 1 of 1) sorted by relevance
4690 u64 host_pat; in vmx_vcpu_setup() local4692 host_pat = msr_low | ((u64) msr_high << 32); in vmx_vcpu_setup()4694 vmcs_write64(GUEST_IA32_PAT, host_pat); in vmx_vcpu_setup()4696 vmx->vcpu.arch.pat = host_pat; in vmx_vcpu_setup()