vm_restart_instruction
VERIFY0(vm_restart_instruction(vm, vcpuid));
error = vm_restart_instruction(sc->vmm_vm, vcpu);
int vm_restart_instruction(void *vm, int vcpuid);