Searched refs:vmx_present (Results 1 – 2 of 2) sorted by relevance
143 specs->vmx_present = vmx_is_available() && vmxon_is_enabled(); in vmx_cpu_init()145 cpu_number(), specs->vmx_present); in vmx_cpu_init()146 if (!specs->vmx_present) { in vmx_cpu_init()176 assert(cpu->specs.vmx_present); in vmx_on()282 if (!cpu->specs.vmx_present) { in vmx_globally_available()
42 boolean_t vmx_present; /* VMX feature available and enabled */ member