Searched refs:IA32_VMX_TRUE_ENTRY_CTLS (Results 1 – 2 of 2) sorted by relevance
1126 #define IA32_VMX_TRUE_ENTRY_CTLS 0x490 macro
1974 vcpu->vc_vmx_true_entry_ctls = rdmsr(IA32_VMX_TRUE_ENTRY_CTLS); in vcpu_reset_regs_vmx()2181 ctrl = IA32_VMX_TRUE_ENTRY_CTLS; in vcpu_reset_regs_vmx()3215 case IA32_VMX_TRUE_ENTRY_CTLS: in vcpu_vmx_compute_ctrl()