kvm_vgic_put      354 include/kvm/arm_vgic.h void kvm_vgic_put(struct kvm_vcpu *vcpu);
kvm_vgic_put      417 virt/kvm/arm/arm.c 	kvm_vgic_put(vcpu);