Searched refs:xBoundSocketListItem (Results 1 – 10 of 10) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 61 vListInitialiseItem( &( pxSocket->xBoundSocketListItem ) ); in harness() 62 pxSocket->xBoundSocketListItem.pxContainer = &( BoundSocketList ); in harness() 63 vListInsertEnd( &BoundSocketList, &( pxSocket->xBoundSocketListItem ) ); in harness() 67 pxSocket->xBoundSocketListItem.pxContainer = NULL; in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 105 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_TCPSocket() 130 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlockingInterrupted() 159 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlocking() 189 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlockingFlagSet() 217 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButTimeout() 253 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime() 295 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButInterrupted() 326 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived() 370 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader() 431 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100() [all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 165 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvValidSocket_SocketBoundSetButNotBound() 201 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvValidSocket_InvalidProtocol() 475 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvMakeSureSocketIsBound_SocketAlreadyBound() 492 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails() 496 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails() 515 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess() 519 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess() 525 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess() 577 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP() 581 vListInsertEnd_Expect( NULL, &( xSocket.xBoundSocketListItem ) ); in test_vSocketBind_TCP() [all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 178 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() 180 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() 224 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPSocket() 226 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPSocket() 267 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_UDPSocket() 269 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_UDPSocket() 306 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() 308 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() 357 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPv6Socket() 359 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPv6Socket() [all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 101 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP1() 105 vListInsertEnd_Expect( NULL, &( xSocket.xBoundSocketListItem ) ); in test_vSocketBind_TCP1()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 84 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPv6SocketLowMSS() 86 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 76 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() 99 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() 122 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() 141 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 2372 pxSocket->xBoundSocketListItem.xItemValue = 443; in test_xTCPCheckNewClient_Not_Found_No_Port() 2375 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_No_Port() 2395 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Not_Found_Not_TCP() 2396 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Not_Found_Not_TCP() 2402 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_Not_TCP() 2422 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Not_Found_Not_Aceept() 2423 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Not_Found_Not_Aceept() 2429 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_Not_Aceept() 2449 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Found() 2450 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Found() [all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 63 …pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xBoundSocketListItem ) ), ( usPo… 65 …_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xBoundSocketListItem ) ) ) 70 …D( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBoundSocketListItem ) != NULL ) 754 vListInitialiseItem( &( pxSocket->xBoundSocketListItem ) ); in FreeRTOS_socket() 755 listSET_LIST_ITEM_OWNER( &( pxSocket->xBoundSocketListItem ), ( void * ) pxSocket ); in FreeRTOS_socket() 1864 vListInsertEnd( pxSocketList, &( pxSocket->xBoundSocketListItem ) ); in prvSocketBindAdd() 2126 ( void ) uxListRemove( &( pxSocket->xBoundSocketListItem ) ); in vSocketClose()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 688 …ListItem_t xBoundSocketListItem; /**< Used to reference the socket from a bound sockets list… member
|