VMCS_INTR_T_HWINTR
info = VMCS_INTR_T_HWINTR | VMCS_INTR_VALID;
(intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_HWINTR,