Searched refs:gic_send_ipi (Results 1 – 3 of 3) sorted by relevance
48 gic_send_ipi(plat_ipi_call_int_xlate(cpu)); in ipi_call_function()57 gic_send_ipi(plat_ipi_resched_int_xlate(cpu)); in ipi_resched()
24 void gic_send_ipi(unsigned int intr) in gic_send_ipi() function
338 extern void gic_send_ipi(unsigned int intr);