Home
last modified time | relevance | path

Searched refs:vNetworkSocketsInit (Results 1 – 9 of 9) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c78 vNetworkSocketsInit(); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c82 vNetworkSocketsInit(); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c80 vNetworkSocketsInit(); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c119 vNetworkSocketsInit(); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c169 vNetworkSocketsInit(); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h489 void vNetworkSocketsInit( void );
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP.c991 vNetworkSocketsInit(); in FreeRTOS_IPInit_Multi()
DFreeRTOS_Sockets.c434 void vNetworkSocketsInit( void ) in vNetworkSocketsInit() function
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c218 vNetworkSocketsInit(); in test_vNetworkSocketsInit()