Searched refs:segment (Results 1 – 1 of 1) sorted by relevance
60 TCPSegment_t * segment = malloc( sizeof( TCPSegment_t ) ); in harness() local61 __CPROVER_assume( segment != NULL ); in harness()62 listSET_LIST_ITEM_OWNER( &segment->xQueueItem, ( void * ) segment ); in harness()63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()70 TCPSegment_t * segment = malloc( sizeof( TCPSegment_t ) ); in harness() local71 __CPROVER_assume( segment != NULL ); in harness()72 vListInitialiseItem( &segment->xSegmentItem ); in harness()73 listSET_LIST_ITEM_OWNER( &segment->xQueueItem, ( void * ) segment ); in harness()74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
