Searched refs:EXT_INT_OFFSET (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ | ||
H A D | gic.c | 35 EXT_INT_OFFSET enumerator in enum:__anon6 67 irq = READ_CELL(1, curr, EXT_INT_OFFSET); |
H A D | gicv3.c | 47 EXT_INT_OFFSET, enumerator in enum:__anon8 103 irq = READ_CELL(1, curr, EXT_INT_OFFSET); |
Completed in 77 milliseconds