sparc64_multicast_ipi
void sparc64_multicast_ipi(sparc64_cpuset_t, ipifunc_t, uint64_t, uint64_t);
sparc64_multicast_ipi(CPUSET_EXCEPT(cpus_active, cpu_number()), func,
sparc64_multicast_ipi(cpuset, sparc64_ipi_halt, 0, 0);
sparc64_multicast_ipi(cpuset, sparc64_ipi_pause, 0, 0);
sparc64_multicast_ipi(activecpus, sparc64_ipi_dcache_flush_page_func, pa, dcache_line_size);
sparc64_multicast_ipi(cpus_active, sparc64_ipi_blast_dcache,
sparc64_multicast_ipi(cpus_active, sparc64_ipi_ccall,