Symbol: VMCS_PROCBASED2_CTLS
sys/arch/amd64/amd64/vmm_machdep.c
2175
if (vmwrite(VMCS_PROCBASED2_CTLS, procbased2)) {
sys/arch/amd64/amd64/vmm_machdep.c
7898
vmx_dump_vmcs_field(VMCS_PROCBASED2_CTLS, "2ndary Ctrls");