Searched refs:vie_free (Results 1 – 3 of 3) sorted by relevance
50 void vie_free(struct vie *);
489 vie_free(struct vie *vie) in vie_free() function
367 vie_free(vcpu->vie_ctx); in vcpu_cleanup()