Symbol: IA32_VMX_TRUE_CTLS_AVAIL
sys/arch/amd64/amd64/vmm_machdep.c
2034
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {
sys/arch/amd64/amd64/vmm_machdep.c
2059
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {
sys/arch/amd64/amd64/vmm_machdep.c
2109
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {
sys/arch/amd64/amd64/vmm_machdep.c
2195
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {
sys/arch/amd64/amd64/vmm_machdep.c
2239
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {
sys/arch/amd64/amd64/vmm_machdep.c
3091
if (vcpu->vc_vmx_basic & IA32_VMX_TRUE_CTLS_AVAIL) {