Symbol: vie_free
usr/src/uts/intel/io/vmm/sys/vmm_instruction_emul.h
53
void vie_free(struct vie *);
usr/src/uts/intel/io/vmm/vmm.c
386
vie_free(vcpu->vie_ctx);