vgic_vmcr         119 include/kvm/arm_vgic.h 	void	(*get_vmcr)(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
vgic_vmcr         120 include/kvm/arm_vgic.h 	void	(*set_vmcr)(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr);
vgic_vmcr         220 include/kvm/arm_vgic.h 	u32		vgic_vmcr;
vgic_vmcr         231 include/kvm/arm_vgic.h 	u32		vgic_vmcr;