Searched refs:plic_irq_set_trigger (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h34 * void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered): Configure
54 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered);
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c162 plic_irq_set_trigger(irq, edge_triggered);
/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h188 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered) function

Completed in 90 milliseconds