Searched refs:vcpu_hlt (Results 1 – 1 of 1) sorted by relevance
80 uint8_t vcpu_hlt[VMM_MAX_VCPUS_PER_VM]; variable989 vcpu_hlt[i] = 0; in run_vm()1119 halted = vcpu_hlt[n]; in vcpu_run_loop()1475 vcpu_hlt[vcpu_id] = 1; in vcpu_halt()1483 vcpu_hlt[vcpu_id] = 0; in vcpu_unhalt()