Searched refs:kvm_vgic_vcpu_destroy (Results 1 – 3 of 3) sorted by relevance
385 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
485 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_destroy() function
493 kvm_vgic_vcpu_destroy(vcpu); in kvm_arch_vcpu_create() 510 kvm_vgic_vcpu_destroy(vcpu); in kvm_arch_vcpu_destroy()