GICH_VMCR         486 virt/kvm/arm/vgic/vgic-v2.c 		       kvm_vgic_global_state.vctrl_base + GICH_VMCR);
GICH_VMCR         495 virt/kvm/arm/vgic/vgic-v2.c 	cpu_if->vgic_vmcr = readl_relaxed(kvm_vgic_global_state.vctrl_base + GICH_VMCR);