Searched refs:vmx_use_count (Results 1 – 1 of 1) sorted by relevance
42 int vmx_use_count = 0; variable308 if (vmx_exclusive || (exclusive && vmx_use_count)) { in host_vmxon()311 if (0 == vmx_use_count) { in host_vmxon()314 vmx_use_count = 1; in host_vmxon()317 vmx_use_count++; in host_vmxon()320 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count); in host_vmxon()340 if (1 == vmx_use_count) { in host_vmxoff()342 vmx_use_count = 0; in host_vmxoff()346 vmx_use_count--; in host_vmxoff()351 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count); in host_vmxoff()[all …]