Searched refs:__ipi_send_single (Results 1 – 2 of 2) 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()