Symbol: riscv_ipi_intr
sys/arch/riscv/fdt/intc_fdt.c
356
riscv_ipi_intr, NULL, "ipi");
sys/arch/riscv/include/intr.h
151
int riscv_ipi_intr(void *arg);