| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | Sockets_list_macros.h | 40 ListItem_t * listGET_HEAD_ENTRY( List_t * pxList );
43 ListItem_t * listGET_END_MARKER( List_t * pxList );
49 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
52 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
79 BaseType_t listLIST_IS_INITIALISED( List_t * pxList );
|
| D | FreeRTOS_Sockets_UDP_API_utest.c | 101 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
107 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 101 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
107 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 101 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
107 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| D | FreeRTOS_Sockets_privates_utest.c | 101 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
107 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | Sockets_DiffConfig1_list_macros.h | 40 ListItem_t * listGET_HEAD_ENTRY( List_t * pxList );
43 ListItem_t * listGET_END_MARKER( List_t * pxList );
49 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
52 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
79 BaseType_t listLIST_IS_INITIALISED( List_t * pxList );
|
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 100 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
106 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | Sockets_DiffConfig_list_macros.h | 40 ListItem_t * listGET_HEAD_ENTRY( List_t * pxList );
43 ListItem_t * listGET_END_MARKER( List_t * pxList );
49 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
52 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
79 BaseType_t listLIST_IS_INITIALISED( List_t * pxList );
|
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 100 static void vpxListFindListItemWithValue_Found( const List_t * pxList, in vpxListFindListItemWithValue_Found() argument
106 listGET_NEXT_ExpectAndReturn( &( pxList->xListEnd ), pxReturn ); in vpxListFindListItemWithValue_Found()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | ICMP_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Stream_Buffer/ |
| D | list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | IP_DiffConfig_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | IP_Timers_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | IP_Utils_DiffConfig_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | IP_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | IP_Utils_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/ |
| D | FreeRTOS_TCP_WIN_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| D | FreeRTOS_TCP_WIN_utest.c | 53 static void initializeList( List_t * const pxList );
76 static void initializeList( List_t * const pxList ) in initializeList() argument
78 …pxList->pxIndex = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list … in initializeList()
82 pxList->xListEnd.xItemValue = portMAX_DELAY; in initializeList()
86 …pxList->xListEnd.pxNext = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 Th… in initializeList()
87 …pxList->xListEnd.pxPrevious = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 Th… in initializeList()
89 pxList->uxNumberOfItems = ( UBaseType_t ) 0U; in initializeList()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | TCP_IP_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| D | FreeRTOS_TCP_IP_utest.c | 1889 static void test_Helper_ListInitialise( List_t * const pxList ) in test_Helper_ListInitialise() argument
1894 …pxList->pxIndex = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list … in test_Helper_ListInitialise()
1898 pxList->xListEnd.xItemValue = portMAX_DELAY; in test_Helper_ListInitialise()
1902 …pxList->xListEnd.pxNext = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 Th… in test_Helper_ListInitialise()
1903 …pxList->xListEnd.pxPrevious = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 Th… in test_Helper_ListInitialise()
1905 pxList->uxNumberOfItems = ( UBaseType_t ) 0U; in test_Helper_ListInitialise()
1909 listSET_LIST_INTEGRITY_CHECK_1_VALUE( pxList ); in test_Helper_ListInitialise()
1910 listSET_LIST_INTEGRITY_CHECK_2_VALUE( pxList ); in test_Helper_ListInitialise()
1913 static void test_Helper_ListInsertEnd( List_t * const pxList, in test_Helper_ListInsertEnd() argument
1916 ListItem_t * const pxIndex = pxList->pxIndex; in test_Helper_ListInsertEnd()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | TCP_IP_DiffConfig_list_macros.h | 40 ListItem_t * listGET_END_MARKER( List_t * pxList );
46 BaseType_t listLIST_IS_EMPTY( const List_t * pxList );
49 void * listGET_OWNER_OF_HEAD_ENTRY( const List_t * pxList );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_WIN.c | 96 static void vListInsertGeneric( List_t * const pxList,
137 static TCPSegment_t * xTCPWindowGetHead( const List_t * pxList );
144 static TCPSegment_t * xTCPWindowPeekHead( const List_t * pxList );
331 static portINLINE void vListInsertFifo( List_t * const pxList,
340 static portINLINE void vListInsertFifo( List_t * const pxList, in vListInsertFifo() argument
343 vListInsertGeneric( pxList, pxNewListItem, &pxList->xListEnd ); in vListInsertFifo()
386 static void vListInsertGeneric( List_t * const pxList, in vListInsertGeneric() argument
404 listLIST_ITEM_CONTAINER( pxNewListItem ) = ( struct xLIST * configLIST_VOLATILE ) pxList; in vListInsertGeneric()
406 ( pxList->uxNumberOfItems )++; in vListInsertGeneric()
638 static TCPSegment_t * xTCPWindowGetHead( const List_t * pxList ) in xTCPWindowGetHead() argument
[all …]
|
| D | FreeRTOS_Sockets.c | 115 static const ListItem_t * pxListFindListItemWithValue( const List_t * pxList,
2186 const List_t * pxList; in prvGetPrivatePortNumber() local
2191 pxList = &xBoundTCPSocketsList; in prvGetPrivatePortNumber()
2196 pxList = &xBoundUDPSocketsList; in prvGetPrivatePortNumber()
2220 pxList, in prvGetPrivatePortNumber()
2248 static const ListItem_t * pxListFindListItemWithValue( const List_t * pxList, in pxListFindListItemWithValue() argument
2253 if( ( xIPIsNetworkTaskReady() != pdFALSE ) && ( pxList != NULL ) ) in pxListFindListItemWithValue()
2260 const ListItem_t * pxEnd = ( ( const ListItem_t * ) &( pxList->xListEnd ) ); in pxListFindListItemWithValue()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/ |
| D | vTCPWindowDestroy_harness.c | 15 void __CPROVER_file_local_FreeRTOS_TCP_WIN_c_vListInsertGeneric( List_t * const pxList,
|
