Symbol: sparc64_ipi_halt
sys/arch/sparc64/sparc64/ipifuncs.c
362
sparc64_multicast_ipi(cpuset, sparc64_ipi_halt, 0, 0);
sys/arch/sparc64/sparc64/ipifuncs.c
76
void sparc64_ipi_halt(void *, void *);