Home
last modified time | relevance | path

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

/seL4-master/include/arch/riscv/arch/machine/
A Dplic.h65 static inline irq_t plic_get_claim(void);
/seL4-master/include/drivers/irq/
A Driscv_plic_dummy.h20 static inline irq_t plic_get_claim(void) in plic_get_claim() function
A Driscv_plic0.h120 static inline irq_t plic_get_claim(void) in plic_get_claim() function
/seL4-master/src/arch/riscv/machine/
A Dhardware.c104 irq = plic_get_claim(); in getActiveIRQ()

Completed in 3 milliseconds