Searched refs:HPPIR1_EL1_INTID_MASK (Results 1 – 2 of 2) sorted by relevance
163 #define HPPIR1_EL1_INTID_MASK U(0xffffff) macro236 return (uint32_t)read_icc_hppir1_el1() & HPPIR1_EL1_INTID_MASK; in gicv3_get_pending_interrupt_id_sel1()
346 return (uint32_t)read_icc_hppir1_el1() & HPPIR1_EL1_INTID_MASK; in gicv3_get_pending_interrupt_id()