Home
last modified time | relevance | path

Searched refs:gic_send_sgi (Results 1 – 4 of 4) sorted by relevance

/linux-4.1.27/include/linux/irqchip/
Darm-gic.h112 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
/linux-4.1.27/drivers/irqchip/
Dirq-gic-v3.c562 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function
594 gic_send_sgi(cluster_id, tlist, irq); in gic_raise_softirq()
Dirq-gic.c663 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
/linux-4.1.27/arch/arm/common/
DbL_switcher.c200 gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0); in bL_switch_to()