Searched refs:gicv3_get_pending_interrupt_id_sel1 (Results 1 – 2 of 2) sorted by relevance
295 irqnr = gicv3_get_pending_interrupt_id_sel1(); in plat_ic_get_pending_interrupt_id()
226 #define gicv3_get_pending_interrupt_id_sel1() read_icc_hppir1_el1() &\ macro