Lines Matching refs:vmx_use_count
42 int vmx_use_count = 0;
325 vmx_use_count++;
326 if (vmx_use_count == 1) /* was turned off before */
330 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count);
354 if (vmx_use_count) {
355 vmx_use_count--;
357 if (!vmx_use_count)
368 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count);
380 if (vmx_use_count)
393 if (vmx_use_count)