Searched defs:GICC_BASE (Results 1 – 4 of 4) sorted by relevance
80 #define GICC_BASE (0xF1002000) macro
161 #define GICC_BASE 0x01402000 macro
220 #define GICC_BASE 0x8010000 macro
221 #define GICC_BASE 0x0 macro