Symbol: rmixl_send_ipi
sys/arch/mips/rmi/rmixl_intr.c
374
static int rmixl_send_ipi(struct cpu_info *, int);
sys/arch/mips/rmi/rmixl_intr.c
480
mips_locoresw.lsw_send_ipi = rmixl_send_ipi;