usr/src/uts/intel/io/vmm/sys/vmm_instruction_emul.h

74

void vie_reset(struct vie *vie);

usr/src/uts/intel/io/vmm/vmm.c

1813

vie_reset(vie);

usr/src/uts/intel/io/vmm/vmm.c

1860

vie_reset(vie);

usr/src/uts/intel/io/vmm/vmm.c

2431

vie_reset(vie);

usr/src/uts/intel/io/vmm/vmm.c

2447

vie_reset(vie);

usr/src/uts/intel/io/vmm/vmm.c

2466

vie_reset(vie);

usr/src/uts/intel/io/vmm/vmm.c

425

vie_reset(vcpu->vie_ctx);

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2661

vie_reset(vie);