Searched refs:__ipi_send_single (Results 1 – 4 of 4) sorted by relevance
221 int __ipi_send_single(struct irq_desc *desc, unsigned int cpu) in __ipi_send_single() function316 return __ipi_send_single(desc, cpu); in ipi_send_single()
1246 int __ipi_send_single(struct irq_desc *desc, unsigned int cpu);
4171 ffff8000101014c0 T __ipi_send_single
Completed in 706 milliseconds