Searched refs:HPPIR0_EL1_INTID_MASK (Results 1 – 2 of 2) sorted by relevance
256 #define HPPIR0_EL1_INTID_MASK U(0xffffff) macro
380 id = (uint32_t)read_icc_hppir0_el1() & HPPIR0_EL1_INTID_MASK; in gicv3_get_pending_interrupt_id()405 return (uint32_t)read_icc_hppir0_el1() & HPPIR0_EL1_INTID_MASK; in gicv3_get_pending_interrupt_type()