| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 170 struct freertos_sockaddr struct 204 struct freertos_sockaddr const * pxAddress, 236 const struct freertos_sockaddr * pxDestinationAddress, 244 struct freertos_sockaddr * pxSourceAddress, 250 struct freertos_sockaddr * pxAddress ); 289 const struct freertos_sockaddr * pxAddress, 299 struct freertos_sockaddr * pxAddress, 346 struct freertos_sockaddr * pxAddress ); 417 const struct freertos_sockaddr * pxFrom, 418 const struct freertos_sockaddr * pxDest );
|
| D | FreeRTOS_DNS_Networking.h | 42 const struct freertos_sockaddr * xAddress, 46 struct freertos_sockaddr * xAddress,
|
| D | FreeRTOS_IP_Private.h | 753 struct freertos_sockaddr * pxBindAddress,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 48 struct freertos_sockaddr xAddress; in DNS_CreateSocket() 96 const struct freertos_sockaddr * xAddress, in DNS_SendRequest() 130 struct freertos_sockaddr * xAddress, in DNS_ReadReply() 133 uint32_t ulAddressLength = ( uint32_t ) sizeof( struct freertos_sockaddr ); in DNS_ReadReply()
|
| D | FreeRTOS_DHCP.c | 98 static uint8_t * prvCreatePartDHCPMessage( struct freertos_sockaddr * pxAddress, 610 struct freertos_sockaddr xAddress; in prvCreateDHCPSocket() 990 static uint8_t * prvCreatePartDHCPMessage( struct freertos_sockaddr * pxAddress, in prvCreatePartDHCPMessage() 1096 struct freertos_sockaddr xAddress; in prvSendDHCPRequest() 1163 struct freertos_sockaddr xAddress; in prvSendDHCPDiscover()
|
| D | FreeRTOS_DNS.c | 386 static void prvFillSockAddress( struct freertos_sockaddr * pxAddress, in prvFillSockAddress() 473 const struct freertos_sockaddr * pxAddress ) in prvSendBuffer() 527 struct freertos_sockaddr xAddress; in prvGetHostByNameOp()
|
| D | FreeRTOS_Sockets.c | 182 struct freertos_sockaddr const * pxAddress ); 849 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() 1069 const struct freertos_sockaddr * pxDestinationAddress, in FreeRTOS_sendto() 1231 struct freertos_sockaddr const * pxAddress, in FreeRTOS_bind() 1315 struct freertos_sockaddr * pxBindAddress, in vSocketBind() 1321 struct freertos_sockaddr * pxAddress = pxBindAddress; in vSocketBind() 1324 struct freertos_sockaddr xAddress; in vSocketBind() 2841 struct freertos_sockaddr * pxAddress ) in FreeRTOS_GetLocalAddress() 3001 struct freertos_sockaddr const * pxAddress ) in prvTCPConnectStart() 3087 const struct freertos_sockaddr * pxAddress, in FreeRTOS_connect() [all …]
|
| D | FreeRTOS_UDP_IP.c | 365 struct freertos_sockaddr xSourceAddress, destinationAddress; in xProcessReceivedUDPPacket()
|
| D | FreeRTOS_TCP_State_Handling.c | 1041 struct freertos_sockaddr xAddress; in prvTCPSocketCopy()
|
| D | FreeRTOS_IP.c | 281 struct freertos_sockaddr xAddress; in prvProcessIPEventsAndTimers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 26 struct freertos_sockaddr * xAddress, 29 struct freertos_sockaddr * xAddress, 80 struct freertos_sockaddr * xAddress, in DNS_SendRequest() 98 struct freertos_sockaddr * xAddress, in DNS_ReadReply()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 140 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NullSocket() 159 struct freertos_sockaddr * pxSourceAddress = NULL; in test_FreeRTOS_recvfrom_TCPSocket() 184 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() 213 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlocking() 242 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() 270 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButTimeout() 306 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime() 348 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButInterrupted() 379 struct freertos_sockaddr * pxSourceAddress; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived() 413 struct freertos_sockaddr xSourceAddress; in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() [all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 542 struct freertos_sockaddr xBindAddress; in test_vSocketBind_CatchAssert1() 556 struct freertos_sockaddr xBindAddress; in test_vSocketBind_CatchAssert2() 570 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP() 598 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCPNULLAddress() 620 struct freertos_sockaddr xBindAddress; in test_vSocketBind_RNGFails() 645 struct freertos_sockaddr xBindAddress; in test_vSocketBind_NonZeroPortNumber() 675 struct freertos_sockaddr xBindAddress; in test_vSocketBind_GotNULLItem() 714 struct freertos_sockaddr xBindAddress; in test_vSocketBind_GotANonNULLValue() 748 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCPGotAProperValue() 777 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCPGotAProperValuePortZero() [all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 886 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_catchAssert() 901 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsNULL() 918 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsInvalid() 935 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SocketIsAlreadyBound() 954 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_SendToIPTaskFailed() 976 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_IPTaskDidNotBindTheSocket() 1002 struct freertos_sockaddr xAddress; in test_FreeRTOS_bind_NonNullAddress() 2616 struct freertos_sockaddr xAddress; in test_FreeRTOS_GetLocalAddress() 2638 struct freertos_sockaddr xAddress; in test_FreeRTOS_connect_SocketValuesNULL() 2655 struct freertos_sockaddr xAddress; in test_FreeRTOS_connect_InvalidValues() [all …]
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 137 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_InvalidParams() 171 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_ClientSocketTaken() 198 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_PeerSocketNULL() 224 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_NotReuseSocket() 260 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_ReuseSocket() 293 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_ReuseSocket_NULLAddress() 323 struct freertos_sockaddr xAddress; in test_FreeRTOS_accept_ReuseSocket_Timeout()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 163 struct freertos_sockaddr xAddress; in test_SendRequest_success() 180 struct freertos_sockaddr xAddress; in test_SendRequest_fail() 196 struct freertos_sockaddr xAddress; in test_ReadReply_success()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 55 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 56 struct freertos_sockaddr * pxBindAddress = malloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 57 struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 88 struct freertos_sockaddr * pxAddress, in FreeRTOS_bind() 123 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom() 193 const struct freertos_sockaddr * pxDestinationAddress, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 136 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP() 157 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP1()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 136 struct freertos_sockaddr xBindAddress; in test_vSocketBind_TCP()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 74 struct freertos_sockaddr * pxSourceAddress, in RecvFromStub() 124 struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_Generic() 140 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() 158 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout() 176 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout() 196 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout() 218 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID() 242 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType() 268 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen() 297 … struct freertos_sockaddr * pxSourceAddress, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 68 const struct freertos_sockaddr * pxFrom, in xLocalHandler() 69 const struct freertos_sockaddr * pxTo ) in xLocalHandler()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 821 vSocketBind_ExpectAndReturn( &xSocket, NULL, sizeof( struct freertos_sockaddr ), pdFALSE, 0 ); in test_prvProcessIPEventsAndTimers_eSocketBindEvent()
|