kvm_vgic_vcpu_destroy 339 include/kvm/arm_vgic.h void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu); kvm_vgic_vcpu_destroy 374 virt/kvm/arm/vgic/vgic-init.c kvm_vgic_vcpu_destroy(vcpu);