Symbol: BU_CFG_THRL2IDXCMPDIS
sys/arch/amd64/include/specialreg.h
747
#define BU_CFG_THRL2IDXCMPDIS 0x0000080000000000ULL
sys/arch/i386/include/specialreg.h
560
#define BU_CFG_THRL2IDXCMPDIS 0x0000080000000000ULL