Home
last modified time | relevance | path

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

/linux-6.12.1/drivers/irqchip/
Dirq-gic.c920 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
Dirq-gic-v3.c1389 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function