Searched refs:VRK_RESET (Results 1 – 3 of 3) sorted by relevance
291 VRK_RESET = 0, enumerator
1541 vvr.kind = VRK_RESET; in vcpu_reset()
1176 if (vvr.kind != VRK_RESET && vvr.kind != VRK_INIT) { in vmmdev_do_ioctl()