Searched refs:VMX_KPRINTF (Results 1 - 1 of 1) sorted by relevance

/xnu-2422.115.4/osfmk/i386/vmx/
H A Dvmx_cpu.c40 #define VMX_KPRINTF(x...) /* kprintf("vmx: " x) */ macro
294 VMX_KPRINTF("VMX available: %d\n", available);
322 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count);
360 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count);
371 VMX_KPRINTF("vmx_suspend\n");
383 VMX_KPRINTF("vmx_resume\n");

Completed in 18 milliseconds