Searched refs:AV_386_VMX (Results 1 – 3 of 3) sorted by relevance
74 #define AV_386_VMX 0x40000000 /* Intel VMX support */ macro
368 AV_386_VMX, STRDESC("AV_386_VMX"),
5860 { AV_386_VMX, X86FSET_VMX },