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()
946 __ipi_send_single(get_ipi_desc(cpu, nr), cpu); in arm64_send_ipi()986 __ipi_send_single(get_ipi_desc(cpu, IPI_KGDB_ROUNDUP), cpu); in kgdb_roundup_cpus()