vgic_v3_put       934 virt/kvm/arm/vgic/vgic.c 		vgic_v3_put(vcpu);
vgic_v3_put       227 virt/kvm/arm/vgic/vgic.h void vgic_v3_put(struct kvm_vcpu *vcpu);