GICH_LR0
writel_relaxed(val, base + GICH_LR0 + (lr * 4));
cpu_if->vgic_lr[i] = readl_relaxed(base + GICH_LR0 + (i * 4));
writel_relaxed(0, base + GICH_LR0 + (i * 4));
writel_relaxed(cpu_if->vgic_lr[i], base + GICH_LR0 + (i * 4));