Searched refs:GICH_BASE (Results 1 – 2 of 2) sorted by relevance
161 #define GICH_BASE 0x01404000 macro
179 reg[4] = cpu_to_fdt64(GICH_BASE); in fdt_fixup_gic()