Symbol: MSR_VMX_ENTRY_CTLS
sys/amd64/vmm/intel/vmx.c
759
error = vmx_set_ctlreg(MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS,
sys/x86/x86/identcpu.c
2514
entry = vmx_settable(basic, MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS);