Searched defs:gicv3_set_interrupt_pending (Results 1 – 2 of 2) sorted by relevance
1200 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num) in gicv3_set_interrupt_pending() function
1270 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num) in gicv3_set_interrupt_pending() function