Symbol: mips64_multicast_ipi
sys/arch/mips64/mips64/ipifuncs.c
237
mips64_multicast_ipi(map, MIPS64_IPI_RENDEZVOUS);
sys/arch/mips64/mips64/ipifuncs.c
50
void mips64_multicast_ipi(unsigned int, unsigned int);