Searched refs:gic_send_ipi (Results 1 - 3 of 3) sorted by relevance

/linux-4.1.27/arch/mips/kernel/
H A Dsmp-gic.c45 gic_send_ipi(intr); gic_send_ipi_single()
/linux-4.1.27/include/linux/irqchip/
H A Dmips-gic.h251 extern void gic_send_ipi(unsigned int intr);
/linux-4.1.27/drivers/irqchip/
H A Dirq-mips-gic.c226 void gic_send_ipi(unsigned int intr) gic_send_ipi() function

Completed in 140 milliseconds