Searched full:gcr_gic_base (Results 1 – 2 of 2) sorted by relevance
35 the base address reported by the hardware GCR_GIC_BASE will be used.
191 /* GCR_GIC_BASE - Base address of the Global Interrupt Controller (GIC) */