Searched refs:GICV_SIZE (Results 1 – 2 of 2) sorted by relevance
166 #define GICV_SIZE 0x2000 macro
182 reg[7] = cpu_to_fdt64(GICV_SIZE); in fdt_fixup_gic()