Searched refs:AV_386_VMX (Results 1 – 3 of 3) sorted by relevance
73 #define AV_386_VMX 0x40000000 /* Intel VMX support */ macro
301 AV_386_VMX, STRDESC("AV_386_VMX"),
2796 hwcap_flags |= AV_386_VMX; in cpuid_pass4()