Searched refs:GICD_SIZE_64K (Results 1 – 2 of 2) sorted by relevance
232 #define GICD_SIZE_64K 0x10000 macro
194 reg[1] = cpu_to_fdt64(GICD_SIZE_64K); in fdt_fixup_gic()