vgic_v2_put       932 virt/kvm/arm/vgic/vgic.c 		vgic_v2_put(vcpu);
vgic_v2_put       196 virt/kvm/arm/vgic/vgic.h void vgic_v2_put(struct kvm_vcpu *vcpu);