Searched refs:vm_restart_instruction (Results 1 – 5 of 5) sorted by relevance
104 vm_restart_instruction;
2103 vm_restart_instruction(void *ctxp, int vcpu __unused) in vm_restart_instruction() function
420 int vm_restart_instruction(void *vm, int vcpuid);
2615 vm_restart_instruction(void *arg, int vcpuid) in vm_restart_instruction() function2860 VERIFY0(vm_restart_instruction(vm, vcpuid)); in vm_inject_exception()
1647 error = vm_restart_instruction(sc->vmm_vm, vcpu); in vmmdev_do_ioctl()