gic_send_ipi (reference) in projects: linux-4.1.27

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

/linux-4.1.27/arch/mips/kernel/
D	smp-gic.c	`45 gic_send_ipi(intr); in gic_send_ipi_single()`
/linux-4.1.27/include/linux/irqchip/
D	mips-gic.h	`251 extern void gic_send_ipi(unsigned int intr);`
/linux-4.1.27/drivers/irqchip/
D	irq-mips-gic.c	`226 void gic_send_ipi(unsigned int intr) in gic_send_ipi() function`