Symbol: riscv_dflt_intr
sys/arch/riscv64/riscv64/intr.c
45
void riscv_dflt_intr(void *);
sys/arch/riscv64/riscv64/intr.c
64
void (*riscv_intr_dispatch)(void *) = riscv_dflt_intr;