Searched refs:GICD_BASE_64K (Results 1 – 3 of 3) sorted by relevance
228 #define GICD_BASE_64K 0x01410000 macro
193 reg[0] = cpu_to_fdt64(GICD_BASE_64K); in fdt_fixup_gic()
50 ldr x0, =GICD_BASE_64K