Searched refs:vcpu_halted (Results 1 – 1 of 1) sorted by relevance
1139 int error, t, vcpuid, vcpu_halted, vm_halted; in vm_handle_hlt() local1142 vcpu_halted = 0; in vm_handle_hlt()1187 if (!vcpu_halted && halt_detection_enabled) { in vm_handle_hlt()1188 vcpu_halted = 1; in vm_handle_hlt()1212 if (vcpu_halted) { in vm_handle_hlt()1222 if (vcpu_halted) in vm_handle_hlt()