VMCS_INTR_T_HWINTR
CTASSERT(VMCS_INTR_T_HWINTR == VM_INTINFO_HWINTR);
case VMCS_INTR_T_HWINTR:
VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector);
VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector);
(intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_HWINTR,