Home
last modified time | relevance | path

Searched refs:xSendEventToIPTask (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/SendEventToIPTask/
DREADME.md1 This is the memory safety proof for xSendEventToIPTask, a function used
12 The coverage is imperfect (97%) because xSendEventToIPTask always
DSendEventToIPTask_harness.c44 xSendEventToIPTask( eEvent ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DSockets_DiffConfig_list_macros.h114 BaseType_t xSendEventToIPTask( eIPEvent_t eEvent );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DSockets_DiffConfig1_list_macros.h113 BaseType_t xSendEventToIPTask( eIPEvent_t eEvent );
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP_Timers.c210 ( void ) xSendEventToIPTask( eARPTimerEvent ); in vCheckNetworkTimers()
DFreeRTOS_Sockets.c2613 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in prvSetOptionSetFullSize()
2652 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in prvSetOptionStopRX()
3734 if( xSendEventToIPTask( eTCPTimerEvent ) != pdPASS ) in prvTCPConnectStart()
4100 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in prvRecvData()
4493 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in prvTCPSendLoop()
4744 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in FreeRTOS_shutdown()
5155 ( void ) xSendEventToIPTask( eTCPTimerEvent ); in vTCPAddRxdata_Stored()
DFreeRTOS_ARP.c1257 ( void ) xSendEventToIPTask( eARPTimerEvent ); in vARPSendGratuitous()
DFreeRTOS_IP.c1357 BaseType_t xSendEventToIPTask( eIPEvent_t eEvent ) in xSendEventToIPTask() function
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h832 BaseType_t xSendEventToIPTask( eIPEvent_t eEvent );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c1263 xReturn = xSendEventToIPTask( eEvent ); in test_xSendEventToIPTask()