vmx_exit_reason_decode
const char *vmx_exit_reason_decode(uint32_t);
exit_reason, vmx_exit_reason_decode(exit_reason));