Symbol: ipi_halt
sys/arch/mips/mips/ipifuncs.c
107
ipi_halt(void)
sys/arch/riscv/riscv/ipifuncs.c
87
ipi_halt(void)