Symbol: BU_CFG_WBPFSMCCHKDIS
sys/arch/amd64/include/specialreg.h
748
#define BU_CFG_WBPFSMCCHKDIS 0x0000200000000000ULL
sys/arch/i386/include/specialreg.h
561
#define BU_CFG_WBPFSMCCHKDIS 0x0000200000000000ULL