bmips5000_send_ipi_single
bmips5000_send_ipi_single(cpu, 0);
bmips5000_send_ipi_single(i, action);
.send_ipi_single = bmips5000_send_ipi_single,
static void bmips5000_send_ipi_single(int cpu, unsigned int action);