Searched refs:edge_triggered (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.c158 * @param[in] edge_triggered edge triggered otherwise level triggered
160 void setIRQTrigger(irq_t irq, bool_t edge_triggered) argument
162 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) argument

Completed in 214 milliseconds