install_ipi        15 arch/mips/include/asm/sn/sn_private.h extern void install_ipi(void);
install_ipi        97 arch/mips/sgi-ip27/ip27-init.c 	install_ipi();