Searched refs:GICV_BASE_64K (Results 1 – 2 of 2) sorted by relevance
231 #define GICV_BASE_64K 0x01460000 macro
199 reg[6] = cpu_to_fdt64(GICV_BASE_64K); in fdt_fixup_gic()