ip27_send_ipi_single  177 arch/mips/sgi-ip27/ip27-smp.c 		ip27_send_ipi_single(i, action);
ip27_send_ipi_single  236 arch/mips/sgi-ip27/ip27-smp.c 	.send_ipi_single	= ip27_send_ipi_single,