Searched refs:is_irq_edge_triggered (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h128 static inline int is_irq_edge_triggered(word_t irq) function
200 if (is_irq_edge_triggered(IRQT_TO_IRQ(irq))) {
H A Dgic_v3.h172 static inline int is_irq_edge_triggered(word_t irq) function
281 if (is_irq_edge_triggered(hw_irq)) {

Completed in 55 milliseconds