| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 251 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_IPTaskNotInit() local
256 xReturn = prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ); in test_prvDetermineSocketSize_IPTaskNotInit()
267 …BaseType_t xDomain = FREERTOS_AF_INET + 1, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert() local
273 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert()
282 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert2() local
292 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert2()
301 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert3() local
316 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert3()
325 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = ~( FREERTOS_IPPROT… in test_prvDetermineSocketSize_CatchAssert4() local
341 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert4()
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 233 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_SockSizeFailure() local
238 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
249 BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM | FREERTOS_SOCK_DGRAM; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
255 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
266 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_NoMemory() local
276 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
287 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_EventGroupCreationFailed() local
302 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_EventGroupCreationFailed()
314 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_SOCK_DEP… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
337 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 32 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 198 Socket_t FreeRTOS_socket( BaseType_t xDomain,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 141 static BaseType_t prvDetermineSocketSize( BaseType_t xDomain,
289 static BaseType_t prvDetermineSocketSize( BaseType_t xDomain, in prvDetermineSocketSize() argument
306 configASSERT( xDomain == FREERTOS_AF_INET ); in prvDetermineSocketSize()
349 ( void ) xDomain; in prvDetermineSocketSize()
365 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
404 if( prvDetermineSocketSize( xDomain, xType, xProtocolCpy, &uxSocketSize ) == pdFAIL ) in FreeRTOS_socket()
514 ( void ) xDomain; in FreeRTOS_socket()
|
