Symbol: SEFF0EDX_TSXFA
sys/arch/amd64/include/specialreg.h
273
#define SEFF0EDX_TSXFA 0x00002000 /* TSX Forced Abort */
sys/arch/i386/include/specialreg.h
199
#define SEFF0EDX_TSXFA 0x00002000 /* TSX Forced Abort */