Symbol: CPUIDECX_VMX
sys/arch/amd64/include/specialreg.h
181
#define CPUIDECX_VMX 0x00000020 /* Virtual Machine Extensions */
sys/arch/i386/include/specialreg.h
128
#define CPUIDECX_VMX 0x00000020 /* Virtual Machine Extensions */