Symbol: VMCS_PINBASED_CTLS
sys/arch/amd64/amd64/vmm_machdep.c
2073
if (vmwrite(VMCS_PINBASED_CTLS, pinbased)) {
sys/arch/amd64/amd64/vmm_machdep.c
7868
vmx_dump_vmcs_field(VMCS_PINBASED_CTLS, "Pinbased Ctrls");