Searched refs:GICD_SIZE (Results 1 – 2 of 2) sorted by relevance
223 #define GICD_SIZE 0x1000 macro
204 reg[1] = cpu_to_fdt64(GICD_SIZE); in fdt_fixup_gic()