Searched refs:GICV_BASE (Results 1 – 2 of 2) sorted by relevance
344 #define GICV_BASE 0x01406000 macro
219 reg[6] = cpu_to_fdt64(GICV_BASE); in fdt_fixup_gic()
Completed in 5 milliseconds