bcm1480_send_ipi_single   78 arch/mips/sibyte/bcm1480/smp.c 		bcm1480_send_ipi_single(i, action);
bcm1480_send_ipi_single  149 arch/mips/sibyte/bcm1480/smp.c 	.send_ipi_single	= bcm1480_send_ipi_single,