Searched refs:want1 (Results 1 – 1 of 1) sorted by relevance
1942 uint32_t want1, want0; in vcpu_reset_regs_vmx() local2035 want1 = IA32_VMX_HLT_EXITING | in vcpu_reset_regs_vmx()2082 want1 = IA32_VMX_ENABLE_EPT; in vcpu_reset_regs_vmx()2089 want1 |= IA32_VMX_ENABLE_VPID; in vcpu_reset_regs_vmx()2105 want0 = ~want1; in vcpu_reset_regs_vmx()2234 want1 &= ~(CR0_PG | CR0_PE); in vcpu_reset_regs_vmx()2242 if (want1 & CR0_NE) in vcpu_reset_regs_vmx()2245 if ((cr0 & want1) != want1) { in vcpu_reset_regs_vmx()2270 if ((cr4 & want1) != want1) { in vcpu_reset_regs_vmx()3120 if (want1 & (1ULL << i)) in vcpu_vmx_compute_ctrl()[all …]