Symbol: riscv_intc_irq_handler
sys/arch/riscv64/dev/riscv_cpu_intc.c
44
void riscv_intc_irq_handler(void *);
sys/arch/riscv64/dev/riscv_cpu_intc.c
75
riscv_set_intr_handler(riscv_intc_irq_handler);