kernel/irq/ipi.c

19  * Allocate a virq that can be used to send IPI to any CPU in dest mask.
28 	int virq, i;
78 	virq = irq_domain_alloc_descs(-1, nr_irqs, 0, NUMA_NO_NODE, NULL);
79 	if (virq <= 0) {
84 	virq = __irq_domain_alloc_irqs(domain, virq, nr_irqs, NUMA_NO_NODE,
87 	if (virq <= 0) {
93 		data = irq_get_irq_data(virq + i);
96 		irq_set_status_flags(virq + i, IRQ_NO_BALANCING);
98 	return virq;
101 	irq_free_descs(virq, nr_irqs);
307  * @virq:	Linux IRQ number from irq_reserve_ipi()
313 int ipi_send_single(unsigned int virq, unsigned int cpu)
315 	struct irq_desc *desc = irq_to_desc(virq);
328  * @virq:	Linux IRQ number from irq_reserve_ipi()
334 int ipi_send_mask(unsigned int virq, const struct cpumask *dest)
336 	struct irq_desc *desc = irq_to_desc(virq);