VMCS_INTR_T_SWEXCEPTION
CTASSERT(VMCS_INTR_T_SWEXCEPTION == VM_INTINFO_RESV6);
case VMCS_INTR_T_SWEXCEPTION:
inject |= VMCS_INTR_T_SWEXCEPTION;
intr_type == VMCS_INTR_T_SWEXCEPTION) {
intr_type != VMCS_INTR_T_SWEXCEPTION &&
if (intr_type == VMCS_INTR_T_SWEXCEPTION &&
if (intr_type == VMCS_INTR_T_SWEXCEPTION)