Symbol: ipi_intr
sys/arch/riscv64/dev/riscv_cpu_intc.c
92
extern int ipi_intr(void *);
sys/arch/riscv64/dev/riscv_cpu_intc.c
94
ipi_intr, NULL, NULL);