Searched refs:__ipi_send_single (Results 1 – 3 of 3) sorted by relevance
227 int __ipi_send_single(struct irq_desc *desc, unsigned int cpu) in __ipi_send_single() function322 return __ipi_send_single(desc, cpu); in ipi_send_single()
947 __ipi_send_single(ipi_desc[IPI_KGDB_ROUNDUP], cpu); in kgdb_roundup_cpus()
1296 int __ipi_send_single(struct irq_desc *desc, unsigned int cpu);
Completed in 13 milliseconds