Home
last modified time | relevance | path

Searched refs:xBoundSocketListItem (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c61 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/
DFreeRTOS_Sockets_UDP_API_utest.c105 …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 …]
DFreeRTOS_Sockets_privates_utest.c165 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 …]
DFreeRTOS_Sockets_GenericAPI_utest.c178 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/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c101 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/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c84 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/
DFreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c76 …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/
DFreeRTOS_TCP_IP_utest.c2372 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/
DFreeRTOS_Sockets.c63 …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/
DFreeRTOS_IP_Private.h688 …ListItem_t xBoundSocketListItem; /**< Used to reference the socket from a bound sockets list… member