get_ipi_desc
enable_irq(irq_desc_get_irq(get_ipi_desc(cpu, i)));
disable_irq(irq_desc_get_irq(get_ipi_desc(cpu, i)));
get_ipi_desc(cpu, ipi) = irq_to_desc(irq);
get_ipi_desc(cpu, ipi) = irq_to_desc(irq);
seq_printf(p, "%10u ", irq_desc_kstat_cpu(get_ipi_desc(cpu, i), cpu));
__ipi_send_mask(get_ipi_desc(0, nr), mask);
__ipi_send_single(get_ipi_desc(cpu, nr), cpu);
__ipi_send_single(get_ipi_desc(cpu, IPI_KGDB_ROUNDUP), cpu);