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