Searched defs:GICC_BASE (Results 1 – 6 of 6) sorted by relevance
80 #define GICC_BASE (0xF1002000) macro
116 #define GICC_BASE 0x0044a000 macro
128 #define GICC_BASE 0x30B10000 macro
177 #define GICC_BASE 0x08002000 macro
223 #define GICC_BASE 0x0 macro
241 #define GICC_BASE 0x8010000 macro