Searched defs:IRQT_TO_IRQ (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/machine/ | ||
| A D | interrupt.h | 49 #define IRQT_TO_IRQ(irqt) (irqt) macro |
| /seL4-master/include/arch/arm/arch/machine/ | ||
| A D | gic_common.h | 53 #define IRQT_TO_IRQ(irqt) (irqt.irq) macro |
Completed in 4 milliseconds