Symbol: VMCS_PIN_BASED_CTLS
usr/src/cmd/bhyvectl/bhyvectl.c
780
error = vm_get_vmcs_field(vcpu, VMCS_PIN_BASED_CTLS, &ctl);
usr/src/uts/intel/io/vmm/intel/vmx.c
824
vmcs_write(VMCS_PIN_BASED_CTLS, pin_ctls);