VMX_EXIT_INFO_HAVE_REASON
if (!(exitinfo & VMX_EXIT_INFO_HAVE_REASON)) {
rv |= VMX_EXIT_INFO_HAVE_REASON;
(VMX_EXIT_INFO_HAVE_RIP | VMX_EXIT_INFO_HAVE_REASON)