VMCB_EXITINTINFO_VALID
ASSERT(VMCB_EXITINTINFO_VALID(intinfo));
if (VMCB_EXITINTINFO_VALID(intinfo)) {