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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgic.c33 EXT_INT_CONTROLLER_OFFSET, enumerator in enum:__anon6
61 if (READ_CELL(1, curr, EXT_INT_CONTROLLER_OFFSET) != intr_controller_phandle) {
H A Dgicv3.c45 EXT_INT_CONTROLLER_OFFSET, enumerator in enum:__anon8
97 if (READ_CELL(1, curr, EXT_INT_CONTROLLER_OFFSET) != intr_controller_phandle) {

Completed in 80 milliseconds