Symbol: vgic_v3_put
arch/arm64/kvm/vgic/vgic.c
1120
vgic_v3_put(vcpu);
arch/arm64/kvm/vgic/vgic.h
338
void vgic_v3_put(struct kvm_vcpu *vcpu);