Symbol: vie_alloc
usr/src/uts/intel/io/vmm/sys/vmm_instruction_emul.h
52
struct vie *vie_alloc();
usr/src/uts/intel/io/vmm/vmm.c
415
vcpu->vie_ctx = vie_alloc();