Symbol: SEFF0EBX_SGX
sys/arch/amd64/include/vmmvar.h
571
#define VMM_SEFF0EBX_MASK ~(SEFF0EBX_TSC_ADJUST | SEFF0EBX_SGX | \
sys/arch/i386/i386/machdep.c
994
{ SEFF0EBX_SGX, "SGX" },