Searched refs:VCPU_RUNNING (Results 1 – 6 of 6) sorted by relevance
120 if (vcpu->state == VCPU_RUNNING) { in vcpu_set_state_locked()136 case VCPU_RUNNING: in vcpu_set_state_locked()152 if (newstate == VCPU_RUNNING) in vcpu_set_state_locked()292 if (vcpu->state == VCPU_RUNNING) { in vcpu_notify_event_locked()
24 VCPU_RUNNING, enumerator86 return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
162 KASSERT(state == VCPU_RUNNING && hostcpu == curcpu, in vm_mem_allocated()
1167 vcpu_require_state(vcpu, VCPU_RUNNING); in vm_run()1245 if (state == VCPU_RUNNING) { in vm_restart_instruction()1723 if (vcpu->state == VCPU_RUNNING && vcpu->hostcpu != curcpu) in vcpu_notify_lapic()
703 vcpu_require_state(vcpu, VCPU_RUNNING); in vm_run()
1021 vcpu_require_state(vcpu, VCPU_RUNNING); in vm_run()