Symbol: VMCS_EXIT_CTLS
sys/arch/amd64/amd64/vmm_machdep.c
2214
if (vmwrite(VMCS_EXIT_CTLS, exit)) {
sys/arch/amd64/amd64/vmm_machdep.c
7877
vmx_dump_vmcs_field(VMCS_EXIT_CTLS, "Exit Ctrls");