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

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h27 * irq_t plic_get_claim(void): If called when an IRQ is pending, returns
40 static inline irq_t plic_get_claim(void) function
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h12 static inline irq_t plic_get_claim(void) function
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c93 * is not idempotent as plic_get_claim is called which accepts an IRQ message
104 return plic_get_claim();
/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h118 static inline irq_t plic_get_claim(void) function

Completed in 226 milliseconds