A quick and possible stupid question but is this correct? Should it not be 0x2000.0000 as per the offset defined in 6.4.1 of the datasheet?
#define PTR_SAFE_FOR_EMAC_DMA(ptr) (((uint32_t)(ptr) >= 0x2000000) && \ ((uint32_t)(ptr) < 0x20070000))
its in msp432e4if.c of simplelink_msp432e4_sdk_4_20_00_12