Home
last modified time | relevance | path

Searched defs:plic_irq_set_trigger (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/drivers/irq/
A Driscv_plic_dummy.h38 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered) in plic_irq_set_trigger() function
A Driscv_plic0.h190 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered) in plic_irq_set_trigger() function

Completed in 3 milliseconds