Home
last modified time | relevance | path

Searched refs:uxOffset (Results 1 – 19 of 19) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Stream_Buffer/
DFreeRTOS_Stream_Buffer_utest.c464 size_t uxOffset = 0; in test_uxStreamBufferAdd_EverythingResetToZero() local
483 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_EverythingResetToZero()
502 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferFullZeroOffset() local
521 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferFullZeroOffset()
540 size_t uxOffset = 10; in test_uxStreamBufferAdd_BufferFullPositiveOffset() local
559 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferFullPositiveOffset()
578 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead() local
608 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead()
639 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset() local
663 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/
DprvPacketBuffer_to_NetworkBuffer_harness.c41 … size_t uxOffset );
46 size_t uxOffset; in harness() local
50 __CPROVER_assume( uxOffset <= uxBufferLength - ipBUFFER_PADDING ); in harness()
58 …_NetworkBuffer( &( pxNetworkBuffer->pucEthernetBuffer[ ipBUFFER_PADDING + uxOffset ] ), uxOffset ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Stream_Buffer.c263 size_t uxOffset, in uxStreamBufferAdd() argument
273 if( uxSpace > uxOffset ) in uxStreamBufferAdd()
275 uxSpace -= uxOffset; in uxStreamBufferAdd()
290 if( uxOffset != 0U ) in uxStreamBufferAdd()
293 uxNextHead += uxOffset; in uxStreamBufferAdd()
325 if( uxOffset == 0U ) in uxStreamBufferAdd()
364 size_t uxOffset, in uxStreamBufferGet() argument
374 if( uxSize > uxOffset ) in uxStreamBufferGet()
376 uxSize -= uxOffset; in uxStreamBufferGet()
390 if( uxOffset != 0U ) in uxStreamBufferGet()
[all …]
DFreeRTOS_TCP_IP_IPv4.c269 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV4() local
270 … ( void ) memcpy( ( void * ) ( &( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ uxOffset ] ) ), in xProcessReceivedTCPPacket_IPV4()
271 … ( const void * ) ( &( pxNetworkBuffer->pucEthernetBuffer[ uxOffset ] ) ), in xProcessReceivedTCPPacket_IPV4()
274 … pxSocket->u.xTCP.xPacket.u.ucLastPacket[ uxOffset + ipTCP_FLAGS_OFFSET ] = tcpTCP_FLAG_ACK; in xProcessReceivedTCPPacket_IPV4()
DFreeRTOS_TCP_IP_IPv6.c262 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV6() local
263 … ( void ) memcpy( ( void * ) ( &( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ uxOffset ] ) ), in xProcessReceivedTCPPacket_IPV6()
264 … ( const void * ) ( &( pxNetworkBuffer->pucEthernetBuffer[ uxOffset ] ) ), in xProcessReceivedTCPPacket_IPV6()
267 … pxSocket->u.xTCP.xPacket.u.ucLastPacket[ uxOffset + ipTCP_FLAGS_OFFSET ] = tcpTCP_FLAG_ACK; in xProcessReceivedTCPPacket_IPV6()
DFreeRTOS_IP_Utils.c117 size_t uxOffset );
309 size_t uxOffset ) in prvPacketBuffer_to_NetworkBuffer() argument
330 uxBuffer -= ( uxOffset + ipBUFFER_PADDING ); in prvPacketBuffer_to_NetworkBuffer()
727 size_t uxOffset; in pxUDPPayloadBuffer_to_NetworkBuffer() local
759 uxOffset = sizeof( UDPPacket_IPv6_t ); in pxUDPPayloadBuffer_to_NetworkBuffer()
765 uxOffset = sizeof( UDPPacket_t ); in pxUDPPayloadBuffer_to_NetworkBuffer()
771 uxOffset = sizeof( UDPPacket_t ); in pxUDPPayloadBuffer_to_NetworkBuffer()
775 pxResult = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in pxUDPPayloadBuffer_to_NetworkBuffer()
DFreeRTOS_TCP_Transmission.c814 size_t uxOffset; in prvTCPPrepareSend() local
877 …uxOffset = uxStreamBufferDistance( pxSocket->u.xTCP.txStream, pxSocket->u.xTCP.txStream->uxTail, (… in prvTCPPrepareSend()
881 …ulDataGot = ( uint32_t ) uxStreamBufferGet( pxSocket->u.xTCP.txStream, uxOffset, pucSendData, ( si… in prvTCPPrepareSend()
888 … ( int ) lStreamPos, ( unsigned ) uxOffset, ( unsigned ) ulDataGot, ( int ) lDataLen ) ); in prvTCPPrepareSend()
DFreeRTOS_Sockets.c5189 size_t uxOffset, in lTCPAddRxdata() argument
5220 …andler != pdFALSE ) && ( uxStreamBufferGetSize( pxStream ) == 0U ) && ( uxOffset == 0U ) && ( pcDa… in lTCPAddRxdata()
5235 … xResult = ( int32_t ) uxStreamBufferAdd( pxStream, uxOffset, pcData, ( size_t ) ulByteCount ); in lTCPAddRxdata()
5242 ( unsigned int ) uxOffset, in lTCPAddRxdata()
5253 if( uxOffset == 0U ) in lTCPAddRxdata()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/
DTCPAddRxdata_harness.c40 size_t uxOffset; in harness() local
53 lTCPAddRxdata( pxSocket, uxOffset, pcData, ulByteCount ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dtcp_dump_packets.c533 size_t uxOffset; in vActualDump() local
651 for( uxOffset = 0u; uxOffset < uxLength; ) in vActualDump()
654 size_t uxLast = uxOffset + dumpBYTES_PER_ROW; in vActualDump()
662 while( uxOffset < uxLast ) in vActualDump()
665 … ( uxCurLength == 0 ) ? "\t" : ", ", pucBuffer[ uxOffset ] ); in vActualDump()
666 uxOffset++; in vActualDump()
672 ( uxOffset == uxLength ) ? "\n};" : "," ); in vActualDump()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_Stream_Buffer.h106 size_t uxOffset,
120 size_t uxOffset,
DFreeRTOS_IP_Private.h798 size_t uxOffset,
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/
DMBuffNetworkInterface.c354 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
358 … ppDescriptor = ( NetworkBufferDescriptor_t ** ) &( pucNetworkPacketBuffers[ uxOffset ] ); in vNetworkInterfaceAllocateRAMToBuffers()
365 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c2849 size_t uxOffset; in test_lTCPAddRxdata_StreamCannotBeAllocated() local
2867 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_StreamCannotBeAllocated()
2880 size_t uxOffset = 0; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() local
2897 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2901 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2915 size_t uxOffset = 0; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() local
2932 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2936 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2950 size_t uxOffset = 0; in test_lTCPAddRxdata_FrontSpaceLessThanLowMark() local
2968 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_FrontSpaceLessThanLowMark()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
DFreeRTOS_IP_Utils_DiffConfig_utest.c310 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6() local
325 pucPayloadBuffer = &ucEthBuf[ uxOffset + ipBUFFER_PADDING ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/
DpxUDPPayloadBuffer_to_NetworkBuffer_harness.c45 … size_t uxOffset ) in __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer() argument
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c78 size_t uxOffset );
277 size_t uxOffset; in test_prvPacketBuffer_to_NetworkBuffer_NULLParam() local
279 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_NULLParam()
292 size_t uxOffset = 12; in test_prvPacketBuffer_to_NetworkBuffer_Unalligned() local
297 pvBuffer = ( const void * ) ( uxAddrOfNetBuffer + uxOffset + ipBUFFER_PADDING + 1 ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
299 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
312 size_t uxOffset = 20; in test_prvPacketBuffer_to_NetworkBuffer_Alligned() local
320 pxAddrOfNetBuffer->pucEthernetBuffer += ( uxOffset + ipBUFFER_PADDING ); in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
322 …NetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pxAddrOfNetBuffer->pucEthernetBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
336 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/
DNetworkInterface.c968 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
972 … ppDescriptor = ( NetworkBufferDescriptor_t ** ) &( pucNetworkPacketBuffers[ uxOffset ] ); in vNetworkInterfaceAllocateRAMToBuffers()
979 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/
DNetworkInterface.c1120 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
1124 … ppDescriptor = ( NetworkBufferDescriptor_t ** ) &( pucNetworkPacketBuffers[ uxOffset ] ); in vNetworkInterfaceAllocateRAMToBuffers()
1131 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()