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