Symbol: sparc64_ipi_pause
sys/arch/sparc64/sparc64/ipifuncs.c
400
sparc64_multicast_ipi(cpuset, sparc64_ipi_pause, 0, 0);
sys/arch/sparc64/sparc64/ipifuncs.c
77
void sparc64_ipi_pause(void *, void *);