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