__ipi_send_mask
__ipi_send_mask(ipi_desc[ipinr], target);
__ipi_send_mask(ipi_desc[IPI_CPU_BACKTRACE], mask);
__ipi_send_mask(get_ipi_desc(0, nr), mask);
__ipi_send_mask(call_desc, mask);
__ipi_send_mask(sched_desc, mask);
__ipi_send_mask(ipi_desc[op], mask);
__ipi_send_mask(ipi_desc[op], cpumask_of(cpu));
int __ipi_send_mask(struct irq_desc *desc, const struct cpumask *dest);
return __ipi_send_mask(desc, dest);