BGE_IS_5714_FAMILY
(BGE_IS_5714_FAMILY(sc) || device_getenv_int(dev, "dma40b", 0)))
if (BGE_IS_5714_FAMILY(sc))
if (BGE_IS_575X_PLUS(sc) && !BGE_IS_5714_FAMILY(sc) &&
if (BGE_IS_5714_FAMILY(sc)) {