Searched refs:HPPIR0_EL1_INTID_MASK (Results 1 – 2 of 2) sorted by relevance
158 #define HPPIR0_EL1_INTID_MASK 0xffffff macro
393 id = read_icc_hppir0_el1() & HPPIR0_EL1_INTID_MASK; in gicv3_get_pending_interrupt_id()417 return read_icc_hppir0_el1() & HPPIR0_EL1_INTID_MASK; in gicv3_get_pending_interrupt_type()