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()
920 __ipi_send_single(get_ipi_desc(cpu, nr), cpu); in arm64_send_ipi()950 __ipi_send_single(get_ipi_desc(cpu, IPI_KGDB_ROUNDUP), cpu); in kgdb_roundup_cpus()
1268 int __ipi_send_single(struct irq_desc *desc, unsigned int cpu);