ICH_HCR_EN        220 virt/kvm/arm/hyp/vgic-v3-sr.c 		write_gicreg(cpu_if->vgic_hcr & ~ICH_HCR_EN, ICH_HCR_EL2);
ICH_HCR_EN        305 virt/kvm/arm/vgic/vgic-v3.c 	vgic_v3->vgic_hcr = ICH_HCR_EN;