configPRINT_PORT (reference) in projects: FreeRTOS-Plus-TCP-v3.1.0

Searched refs:configPRINT_PORT (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/Common/
H D	FreeRTOSConfig.h	`217 #define configPRINT_PORT ( 15000 ) macro`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
H D	FreeRTOSConfig.h	`228 #define configPRINT_PORT ( 15000 ) macro`