Home
last modified time | relevance | path

Searched defs:gic_send_sgi (Results 1 – 2 of 2) sorted by relevance

/Linux-v5.10/drivers/irqchip/
Dirq-gic.c869 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
Dirq-gic-v3.c1112 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function