Symbol: VMCS_PIN_BASED_CTLS
sys/amd64/vmm/intel/vmx.c
1171
error += vmwrite(VMCS_PIN_BASED_CTLS, pinbased_ctls);
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
862
error = vm_get_vmcs_field(vcpu, VMCS_PIN_BASED_CTLS, &ctl);