Searched refs:_intid (Results 1 – 2 of 2) sorted by relevance
214 uint32_t _intid; \215 _intid = gic_get_and_ack_irq(); \216 GUEST_ASSERT(_intid == 0 || _intid == IAR_SPURIOUS); \
283 #define GICV3_SGIR_VALUE(_aff3, _aff2, _aff1, _intid, _irm, _tgt) \ argument287 (((_intid) & SGIR_INTID_MASK) << SGIR_INTID_SHIFT) | \