Symbol: CPUIDECX_SMX
sys/arch/amd64/include/vmmvar.h
535
CPUIDECX_DSCPL | CPUIDECX_SMX | CPUIDECX_CNXTID | \
sys/arch/i386/i386/machdep.c
936
{ CPUIDECX_SMX, "SMX" },