Searched refs:plic_irq_dispatch (Results 1 – 1 of 1) sorted by relevance
113 int plic_irq_dispatch(uint32_t, void *);339 handled = plic_irq_dispatch(pending, frame); in plic_irq_handler()355 plic_irq_dispatch(uint32_t irq, void *frame) in plic_irq_dispatch() function