Searched refs:vcpu_vgic_free (Results 1 – 4 of 4) sorted by relevance
242 int vcpu_vgic_free(struct vcpu *vcpu) in vcpu_vgic_free() function
342 int vcpu_vgic_free(struct vcpu *vcpu);
229 int vcpu_vgic_free(struct vcpu *v) in vcpu_vgic_free() function
609 vcpu_vgic_free(v); in arch_vcpu_destroy()
Completed in 7 milliseconds