Searched defs:gic_send_sgi (Results 1 – 2 of 2) sorted by relevance
869 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
1112 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function