Home
last modified time | relevance | path

Searched defs:FreeRTOS_socket (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c32 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c365 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function