| 123 | } |
| 124 | |
| 125 | static void |
| 126 | vcpu_unlock_one(struct vmmdev_softc *sc, int vcpu) |
| 127 | { |
| 128 | enum vcpu_state state; |
| 129 | |
| 130 | state = vcpu_get_state(sc->vm, vcpu, NULL); |
| 131 | if (state != VCPU_FROZEN) { |
| 132 | panic("vcpu %s(%d) has invalid state %d", vm_name(sc->vm), |
| 133 | vcpu, state); |
| 134 | } |
| 135 | |
| 136 | vcpu_set_state(sc->vm, vcpu, VCPU_IDLE, false); |
| 137 | } |
| 138 | |
| 139 | static int |
| 140 | vcpu_lock_all(struct vmmdev_softc *sc) |
no test coverage detected