| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_privates_utest.c | 52 BaseType_t prvDetermineSocketSize( BaseType_t xDomain,
65 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_prvDetermineSocketSize_TCPSocket() local
74 xReturn = prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ); in test_prvDetermineSocketSize_TCPSocket()
86 …BaseType_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO… in test_prvDetermineSocketSize_TCPv6Socket() local
92 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_TCPv6Socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 65 …BaseType_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO… in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
88 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 67 BaseType_t prvDetermineSocketSize( BaseType_t xDomain,
227 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_IPTaskNotInit() local
232 xReturn = prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ); in test_prvDetermineSocketSize_IPTaskNotInit()
242 …BaseType_t xDomain = FREERTOS_AF_INET + 1, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert() local
248 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert()
257 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert2() local
267 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert2()
276 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert3() local
291 catch_assert( prvDetermineSocketSize( xDomain, xType, xProtocol, &xSocketSize ) ); in test_prvDetermineSocketSize_CatchAssert3()
300 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = ~( FREERTOS_IPPROT… in test_prvDetermineSocketSize_CatchAssert4() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 78 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_SockSizeFailure() local
83 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
94 BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM | FREERTOS_SOCK_DGRAM; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
100 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
111 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_NoMemory() local
121 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
132 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_EventGroupCreationFailed() local
147 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_EventGroupCreationFailed()
159 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_SOCK_DEP… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
183 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 69 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 150 static BaseType_t prvDetermineSocketSize( BaseType_t xDomain,
458 static BaseType_t prvDetermineSocketSize( BaseType_t xDomain, in prvDetermineSocketSize() argument
477 if( xDomain != FREERTOS_AF_INET ) in prvDetermineSocketSize()
482 configASSERT( xDomain == FREERTOS_AF_INET ); in prvDetermineSocketSize()
486 if( xDomain != FREERTOS_AF_INET6 ) in prvDetermineSocketSize()
491 configASSERT( xDomain == FREERTOS_AF_INET6 ); in prvDetermineSocketSize()
495 if( ( xDomain != FREERTOS_AF_INET ) && ( xDomain != FREERTOS_AF_INET6 ) ) in prvDetermineSocketSize()
500 configASSERT( ( xDomain == FREERTOS_AF_INET ) || ( xDomain == FREERTOS_AF_INET6 ) ); in prvDetermineSocketSize()
545 ( void ) xDomain; in prvDetermineSocketSize()
614 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 208 Socket_t FreeRTOS_socket( BaseType_t xDomain,
|
