Symbol: plic_irq_dispatch
sys/arch/riscv64/dev/plic.c
113
int plic_irq_dispatch(uint32_t, void *);
sys/arch/riscv64/dev/plic.c
339
handled = plic_irq_dispatch(pending, frame);