Searched refs:plic_complete_claim (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h30 * void plic_complete_claim(irq_t irq): Complete a claim process for an
45 static inline void plic_complete_claim(irq_t irq) function
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h17 static inline void plic_complete_claim(irq_t irq) function
/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h125 static inline void plic_complete_claim(irq_t irq) function
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c139 plic_complete_claim(irq);

Completed in 281 milliseconds