Symbol: vgic_v3_put_nested
arch/arm64/kvm/vgic/vgic-v3.c
1000
vgic_v3_put_nested(vcpu);
arch/arm64/kvm/vgic/vgic.h
453
void vgic_v3_put_nested(struct kvm_vcpu *vcpu);