VMCS_INTR_T_SWINTR
CTASSERT(VMCS_INTR_T_SWINTR == VM_INTINFO_SWINTR);
case VMCS_INTR_T_SWINTR:
if (intr_type == VMCS_INTR_T_SWINTR ||
if (intr_type != VMCS_INTR_T_SWINTR &&