Searched refs:VCPU_INIT (Results 1 – 4 of 4) sorted by relevance
625 vcpu_set_state(vcpu, VCPU_INIT); in create_vcpu()865 vcpu_set_state(vcpu, VCPU_INIT); in reset_vcpu()875 if (((vcpu->state == VCPU_RUNNING) || (vcpu->state == VCPU_INIT)) && (new_state == VCPU_ZOMBIE)) { in zombie_vcpu()
1090 if (target_vcpu->state != VCPU_INIT) { in vlapic_process_init_sipi()1103 if ((target_vcpu->state == VCPU_INIT) && in vlapic_process_init_sipi()
151 VCPU_INIT, enumerator
813 case VCPU_INIT: in shell_list_vcpu()
Completed in 16 milliseconds