Searched refs:VCPU_RUNNING (Results 1 – 2 of 2) sorted by relevance
252 VCPU_RUNNING, enumerator270 return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
343 case VCPU_RUNNING: in vcpu_state2str()836 KASSERT(state == VCPU_RUNNING && hostcpu == curcpu, in vm_mem_allocated()1499 if (vcpu->state == VCPU_RUNNING) { in vcpu_set_state_locked()1515 case VCPU_RUNNING: in vcpu_set_state_locked()1531 if (newstate == VCPU_RUNNING) in vcpu_set_state_locked()2523 vcpu_require_state(vm, vcpuid, VCPU_RUNNING); in vm_run()2626 if (state == VCPU_RUNNING) { in vm_restart_instruction()3581 if (vcpu->state == VCPU_RUNNING) { in vcpu_notify_event_locked()