Searched defs:vm_restart_instruction (Results 1 – 2 of 2) sorted by relevance
2103 vm_restart_instruction(void *ctxp, int vcpu __unused) in vm_restart_instruction() function
2615 vm_restart_instruction(void *arg, int vcpuid) in vm_restart_instruction() function