Symbol: cpu_broadcast_ipi
sys/arch/mips/include/cpu.h
217
void cpu_broadcast_ipi(int);
sys/arch/mips/mips/cpu_subr.c
803
cpu_broadcast_ipi(IPI_SUSPEND);
sys/arch/riscv/include/cpu.h
161
void cpu_broadcast_ipi(int);
sys/arch/riscv/riscv/cpu_subr.c
334
cpu_broadcast_ipi(IPI_SUSPEND);