/* * Broadcast an IPI to all but ourselves. */ void sparc64_broadcast_ipi(ipifunc_t func, uint64_t arg1, uint64_t arg2) { sparc64_multicast_ipi(CPUSET_EXCEPT(cpus_active, cpu_number()), func, arg1, arg2); }
void cpu_broadcast_ipi(int tag) { (void)cpu_multicast_ipi( CPUSET_EXCEPT(cpus_running, cpu_index(curcpu())), tag); }