Home
last modified time | relevance | path

Searched refs:VCPU_IDLE (Results 1 – 6 of 6) sorted by relevance

/freebsd/sys/dev/vmm/
H A Dvmm_vm.c92 KASSERT(vcpu->state != VCPU_IDLE, ("vcpu already idle")); in vcpu_wait_idle()
113 while (vcpu->state != VCPU_IDLE) in vcpu_set_state_locked()
116 KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from " in vcpu_set_state_locked()
135 case VCPU_IDLE: in vcpu_set_state_locked()
157 if (newstate == VCPU_IDLE) in vcpu_set_state_locked()
177 KASSERT(newstate != VCPU_IDLE, in vcpu_set_state_all()
199 if (vcpu->state == VCPU_IDLE) { in vcpu_set_state_all()
229 while (vcpu->state != VCPU_IDLE) { in vcpu_set_state_all()
243 (void)vcpu_set_state(vcpu, VCPU_IDLE, false); in vcpu_set_state_all()
H A Dvmm_vm.h22 VCPU_IDLE, enumerator
H A Dvmm_dev.c141 vcpu_set_state(vcpu, VCPU_IDLE, false); in vcpu_unlock_one()
/freebsd/sys/riscv/vmm/
H A Dvmm.c113 vcpu->state = VCPU_IDLE; in vcpu_alloc()
/freebsd/sys/arm64/vmm/
H A Dvmm.c199 vcpu->state = VCPU_IDLE; in vcpu_alloc()
/freebsd/sys/amd64/vmm/
H A Dvmm.c231 vcpu->state = VCPU_IDLE; in vcpu_alloc()