Searched defs:arch_simple_get_IRQ_trigger (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, function
/seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, function

Completed in 86 milliseconds