Symbol: MCG_CAP_TES_P
usr/src/boot/sys/x86/include/specialreg.h
660
#define MCG_CAP_TES_P 0x00000800
usr/src/uts/intel/sys/mca_x86.h
49
#define MCG_CAP_TES_P 0x00000800ULL