Searched refs:GICC_BASE_64K (Results 1 – 3 of 3) sorted by relevance
283 #define GICC_BASE_64K 0x01420000 macro
195 reg[2] = cpu_to_fdt64(GICC_BASE_64K); in fdt_fixup_gic()
52 ldr x1, =GICC_BASE_64K