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