Home
last modified time | relevance | path

Searched refs:vLoggingPrintf (Results 1 – 6 of 6) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Common/
DFreeRTOSConfig.h114 void vLoggingPrintf( char const * pcFormat,
117 #define configPRINTF( X ) vLoggingPrintf X
120 #define configPRINT( X ) vLoggingPrintf X
123 #define configPRINT_STRING( X ) vLoggingPrintf X
Dmain.c216 void vLoggingPrintf( const char * pcFormat, in vLoggingPrintf() function
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Header_Self_Contain/
DFreeRTOSConfig.h114 void vLoggingPrintf( char const * pcFormat,
117 #define configPRINTF( X ) vLoggingPrintf X
120 #define configPRINT( X ) vLoggingPrintf X
123 #define configPRINT_STRING( X ) vLoggingPrintf X
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkMiddleware.c223 vLoggingPrintf( "IP Address: %s\r\n", cBuffer ); in vApplicationIPNetworkEventHook()
226 vLoggingPrintf( "Subnet Mask: %s\r\n", cBuffer ); in vApplicationIPNetworkEventHook()
229 vLoggingPrintf( "Gateway IP Address: %s\r\n", cBuffer ); in vApplicationIPNetworkEventHook()
232 vLoggingPrintf( "DNS server IP Address: %s\r\n", cBuffer ); in vApplicationIPNetworkEventHook()
259 vLoggingPrintf( "Ping response to: %s\r\n", cBuffer ); in pingReply()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_PrintARPCache/
DREADME.md2 assuming vLoggingPrintf is correct and memory safe.
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DREADME.md22 * vLoggingPrintf