Searched refs:VRK_INIT (Results 1 – 2 of 2) sorted by relevance
297 VRK_INIT = 1, enumerator
1176 if (vvr.kind != VRK_RESET && vvr.kind != VRK_INIT) { in vmmdev_do_ioctl()1180 error = vcpu_arch_reset(sc->vmm_vm, vcpu, vvr.kind == VRK_INIT); in vmmdev_do_ioctl()