Symbol: VMCS_EXIT_REASON
sys/arch/amd64/amd64/vmm_machdep.c
4201
if (vmread(VMCS_EXIT_REASON, exit_reason) == 0)
sys/arch/amd64/amd64/vmm_machdep.c
7909
vmx_dump_vmcs_field(VMCS_EXIT_REASON, "Exit Reason");