Searched refs:xRxSegments (Results 1 – 4 of 4) sorted by relevance
31 vListInitialise( &xWindow.xRxSegments ); in harness()42 __CPROVER_file_local_FreeRTOS_TCP_WIN_c_vListInsertGeneric( &xWindow.xRxSegments, in harness()43 … &( xRxSegmentListItem.xSegmentItem ), &xWindow.xRxSegments.xListEnd ); in harness()
196 List_t * pxSegments = &( xWindow.xRxSegments ); in test_vTCPWindowDestroy_list_length_not_zero()438 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX()441 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX()475 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_2()478 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_2()511 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_3()515 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_3()518 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_3()551 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_4()554 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xRxSegments.xListEnd ); in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_4()[all …]
493 pxEnd = ( ( const ListItem_t * ) &( pxWindow->xRxSegments.xListEnd ) ); in xTCPWindowRxFind()558 vListInsertFifo( &pxWindow->xRxSegments, pxItem ); in xTCPWindowNew()609 if( listLIST_IS_EMPTY( ( &pxWindow->xRxSegments ) ) == pdFALSE ) in xTCPWindowRxEmpty()750 pxSegments = &( pxWindow->xRxSegments ); in vTCPWindowDestroy()797 vListInitialise( &( pxWindow->xRxSegments ) ); in vTCPWindowCreate()939 … const ListItem_t * pxEnd = ( ( const ListItem_t * ) &( pxWindow->xRxSegments.xListEnd ) ); in xTCPWindowRxConfirm()1003 if( listCURRENT_LIST_LENGTH( &( pxWindow->xRxSegments ) ) != 0U ) in prvTCPWindowRx_ExpectedRX()1055 … ( int ) listCURRENT_LIST_LENGTH( &pxWindow->xRxSegments ) ) ); in prvTCPWindowRx_ExpectedRX()1160 … ( unsigned ) listCURRENT_LIST_LENGTH( &pxWindow->xRxSegments ) ) ); in prvTCPWindowRx_UnexpectedRX()
132 …List_t xRxSegments; /**< A linked list of reception… member
