EXIT_REASON_VMLAUNCH
{ EXIT_REASON_VMLAUNCH, "VMLAUNCH" }, \
case EXIT_REASON_VMLAUNCH: case EXIT_REASON_VMPTRLD:
exit_handlers[EXIT_REASON_VMLAUNCH] = handle_vmlaunch;
[EXIT_REASON_VMLAUNCH] = handle_vmx_instruction,
{ EXIT_REASON_VMLAUNCH, "VMLAUNCH" }, \