Symbol: install_ipi
arch/mips/sgi-ip27/ip27-common.h
12
extern void install_ipi(void);
arch/mips/sgi-ip27/ip27-init.c
82
install_ipi();