GICD_BASE_GVA
volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA
volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA
writel(0, GICD_BASE_GVA + GICD_CTLR);
writel(~0, GICD_BASE_GVA + GICD_IGROUPR + i / 8);
writel(~0, GICD_BASE_GVA + GICD_ICACTIVER + i / 8);
writel(~0, GICD_BASE_GVA + GICD_ICENABLER + i / 8);
GICD_BASE_GVA + GICD_IPRIORITYR + i);
GICD_CTLR_ENABLE_G1, GICD_BASE_GVA + GICD_CTLR);
readl(GICD_BASE_GVA + GICD_TYPER));
while (readl(GICD_BASE_GVA + GICD_CTLR) & GICD_CTLR_RWP) {