Searched refs:vcpu_halted (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10-stable/sys/amd64/vmm/ | ||
| H A D | vmm.c | 1252 int t, vcpu_halted, vm_halted; local 1257 vcpu_halted = 0; 1295 if (!vcpu_halted && halt_detection_enabled) { 1296 vcpu_halted = 1; 1318 if (vcpu_halted) |
Completed in 123 milliseconds