vctrl_hyp          57 include/kvm/arm_vgic.h 	void __iomem		*vctrl_hyp;
vctrl_hyp         395 virt/kvm/arm/vgic/vgic-v2.c 				     &kvm_vgic_global_state.vctrl_hyp);