Searched refs:vm_halted (Results 1 – 1 of 1) sorted by relevance
1488 int error, t, vcpuid, vcpu_halted, vm_halted; in vm_handle_hlt() local1492 vm_halted = 0; in vm_handle_hlt()1541 vm_halted = 1; in vm_handle_hlt()1576 if (vm_halted) in vm_handle_hlt()