Searched refs:platform_send_ipi_cpu (Results 1 – 4 of 4) sorted by relevance
84 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_0); in platform_boot_secondary()132 void platform_send_ipi_cpu(unsigned int cpu, int irq) in platform_send_ipi_cpu() function
26 void platform_send_ipi_cpu(unsigned int cpu, int irq);
95 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_0); in bfin_wakeup_cpu()
242 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_1); in smp_send_message()298 platform_send_ipi_cpu(cpu, IRQ_SUPPLE_0); in smp_send_reschedule()