Searched refs:VMX_KPRINTF (Results 1 – 1 of 1) sorted by relevance
40 #define VMX_KPRINTF(x...) /* kprintf("vmx: " x) */ macro132 VMX_KPRINTF("[%d]vmx_cpu_init() initialized: %d\n", in vmx_cpu_init()144 VMX_KPRINTF("[%d]vmx_cpu_init() vmx_present: %d\n", in vmx_cpu_init()173 VMX_KPRINTF("[%d]vmx_on() entry state: %d\n", in vmx_on()198 VMX_KPRINTF("[%d]vmx_on() return state: %d\n", in vmx_on()212 VMX_KPRINTF("[%d]vmx_off() entry state: %d\n", in vmx_off()226 VMX_KPRINTF("[%d]vmx_off() return state: %d\n", in vmx_off()286 VMX_KPRINTF("VMX available: %d\n", available); in vmx_globally_available()320 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count); in host_vmxon()351 VMX_KPRINTF("VMX use count: %d\n", vmx_use_count); in host_vmxoff()[all …]