GICH_HCR
u32 val = readl_relaxed(base + GICH_HCR);
writel_relaxed(0, base + GICH_HCR);
writel_relaxed(cpu_if->vgic_hcr, base + GICH_HCR);