Searched refs:kvm_vgic_vcpu_destroy (Results 1 – 3 of 3) sorted by relevance
397 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
496 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_destroy() function
503 kvm_vgic_vcpu_destroy(vcpu); in kvm_arch_vcpu_create()520 kvm_vgic_vcpu_destroy(vcpu); in kvm_arch_vcpu_destroy()