Searched refs:kvm_vgic_vcpu_destroy (Results 1 – 2 of 2) sorted by relevance
354 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_destroy() function376 kvm_vgic_vcpu_destroy(vcpu); in __kvm_vgic_destroy()
346 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);