Symbol: vm_restart_instruction
usr/src/lib/libvmmapi/common/vmmapi.c
2103
vm_restart_instruction(void *ctxp, int vcpu __unused)
usr/src/uts/intel/io/vmm/vmm.c
2653
vm_restart_instruction(void *arg, int vcpuid)