| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol );
18 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 68 BaseType_t xProtocol,
167 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_InvalidOrNULLSocket() local
169 xReturn = prvValidSocket( NULL, xProtocol, xIsBound ); in test_prvValidSocket_InvalidOrNULLSocket()
173 xReturn = prvValidSocket( pxSocket, xProtocol, xIsBound ); in test_prvValidSocket_InvalidOrNULLSocket()
185 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_SocketBoundSetButNotBound() local
191 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundSetButNotBound()
203 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_SocketBoundResetButBound() local
207 xSocket.ucProtocol = xProtocol; in test_prvValidSocket_SocketBoundResetButBound()
209 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundResetButBound()
221 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_InvalidProtocol() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 68 BaseType_t xProtocol,
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()
250 BaseType_t xProtocol = FREERTOS_SOCK_DEPENDENT_PROTO; 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
[all …]
|
| D | FreeRTOS_Sockets_UDP_API_utest.c | 68 BaseType_t xProtocol,
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 68 BaseType_t xProtocol,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 67 BaseType_t xProtocol,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 34 BaseType_t xProtocol ) in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 67 BaseType_t xProtocol,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 109 static uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol );
123 BaseType_t xProtocol,
143 BaseType_t xProtocol,
231 BaseType_t xProtocol, in prvValidSocket() argument
248 else if( pxSocket->ucProtocol != ( uint8_t ) xProtocol ) in prvValidSocket()
291 BaseType_t xProtocol, in prvDetermineSocketSize() argument
317 if( xProtocol == FREERTOS_IPPROTO_UDP ) in prvDetermineSocketSize()
330 else if( xProtocol == FREERTOS_IPPROTO_TCP ) in prvDetermineSocketSize()
367 BaseType_t xProtocol ) in FreeRTOS_socket() argument
375 BaseType_t xProtocolCpy = xProtocol; in FreeRTOS_socket()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 38 BaseType_t xProtocol ) in FreeRTOS_socket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 200 BaseType_t xProtocol );
|
