Home
last modified time | relevance | path

Searched defs:setIRQTrigger (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/riscv/machine/
A Dhardware.c143 void setIRQTrigger(irq_t irq, bool_t edge_triggered) in setIRQTrigger() function
/seL4-master/src/arch/arm/machine/
A Dgic_v2.c150 void setIRQTrigger(irq_t irq, bool_t trigger) in setIRQTrigger() function
A Dgic_v3.c290 void setIRQTrigger(irq_t irq, bool_t trigger) in setIRQTrigger() function

Completed in 7 milliseconds