Searched refs:vmxon_enabled (Results 1 – 2 of 2) sorted by relevance
556 extern int vmxon_enabled[];563 if (!vmxon_enabled[curcpu]) { in DB_SHOW_COMMAND()
136 int vmxon_enabled[MAXCPU]; variable593 if (vmxon_enabled[curcpu]) { in vmx_disable()650 vmxon_enabled[curcpu] = 1; in vmx_enable()657 if (vmxon_enabled[curcpu]) in vmx_modsuspend()665 if (vmxon_enabled[curcpu]) in vmx_modresume()