Symbol: plic_irq_handler
sys/arch/riscv64/dev/plic.c
112
int plic_irq_handler(void *);
sys/arch/riscv64/dev/plic.c
292
plic_irq_handler, NULL, "plic0");