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);