Symbol: sparc64_ipi_blast_dcache
sys/arch/sparc64/sparc64/ipifuncs.c
507
sparc64_multicast_ipi(cpus_active, sparc64_ipi_blast_dcache,
sys/arch/sparc64/sparc64/ipifuncs.c
84
void sparc64_ipi_blast_dcache(void *, void *);