Symbol: vgic_v4_put
arch/arm64/kvm/arm.c
1105
vgic_v4_put(vcpu);
arch/arm64/kvm/vgic/vgic-v3.c
1006
WARN_ON(vgic_v4_put(vcpu));
include/kvm/arm_vgic.h
456
int vgic_v4_put(struct kvm_vcpu *vcpu);