GICH_HCR 458 virt/kvm/arm/vgic/vgic-v2.c writel_relaxed(0, base + GICH_HCR); GICH_HCR 473 virt/kvm/arm/vgic/vgic-v2.c writel_relaxed(cpu_if->vgic_hcr, base + GICH_HCR);