Searched refs:GICH_BASE_64K (Results 1 – 2 of 2) sorted by relevance
230 #define GICH_BASE_64K 0x01440000 macro
197 reg[4] = cpu_to_fdt64(GICH_BASE_64K); in fdt_fixup_gic()