Symbol: do_send_ipi
sys/arch/mips64/mips64/ipifuncs.c
154
do_send_ipi(cpuid, ipimask);
sys/arch/mips64/mips64/ipifuncs.c
171
do_send_ipi(ci->ci_cpuid, ipimask);