send_IPI_single   145 arch/ia64/kernel/smp.c send_IPI_single (int dest_cpu, int op)
send_IPI_single   210 arch/parisc/kernel/smp.c send_IPI_single(int dest_cpu, enum ipi_message_type op)