Searched refs:gicv3_set_interrupt_pending (Results 1 – 3 of 3) sorted by relevance
260 gicv3_set_interrupt_pending(id, plat_my_core_pos()); in plat_ic_set_interrupt_pending()
406 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num);
1106 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num) in gicv3_set_interrupt_pending() function