Searched full:gcr_gic_base (Results 1 – 3 of 3) sorted by relevance
50 /* GCR_GIC_BASE register fields */
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) */