Searched refs:gic_send_ipi (Results 1 – 3 of 3) sorted by relevance
45 gic_send_ipi(intr); in gic_send_ipi_single()
264 extern void gic_send_ipi(unsigned int intr);
267 void gic_send_ipi(unsigned int intr) in gic_send_ipi() function