Symbol: ip30_install_ipi
arch/mips/sgi-ip30/ip30-common.h
19
extern void __init ip30_install_ipi(void);
arch/mips/sgi-ip30/ip30-setup.c
111
ip30_install_ipi();