| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Stream_Buffer/ |
| D | FreeRTOS_Stream_Buffer_utest.c | 464 size_t uxOffset = 0; in test_uxStreamBufferAdd_EverythingResetToZero() local
502 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferFullZeroOffset() local
540 size_t uxOffset = 10; in test_uxStreamBufferAdd_BufferFullPositiveOffset() local
578 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead() local
639 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset() local
684 size_t uxOffset = 10; in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffset() local
736 size_t uxOffset = 100; in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffsetCausesRollover() local
791 size_t uxOffset = 0; in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover() local
851 size_t uxOffset = 0; in test_uxStreamBufferAdd_NULLData_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover() local
907 size_t uxOffset = 0; in test_uxStreamBufferAdd_NULLData_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover_Front() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/ |
| D | prvPacketBuffer_to_NetworkBuffer_harness.c | 46 size_t uxOffset; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 40 size_t uxOffset; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/ |
| D | pxUDPPayloadBuffer_to_NetworkBuffer_harness.c | 45 … size_t uxOffset ) in __CPROVER_file_local_FreeRTOS_IP_Utils_c_prvPacketBuffer_to_NetworkBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_IP_IPv6.c | 262 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV6() local
|
| D | FreeRTOS_TCP_IP_IPv4.c | 269 const size_t uxOffset = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ); in xProcessReceivedTCPPacket_IPV4() local
|
| D | FreeRTOS_Stream_Buffer.c | 263 size_t uxOffset, in uxStreamBufferAdd()
364 size_t uxOffset, in uxStreamBufferGet()
|
| D | FreeRTOS_IP_Utils.c | 309 size_t uxOffset ) in prvPacketBuffer_to_NetworkBuffer()
727 size_t uxOffset; in pxUDPPayloadBuffer_to_NetworkBuffer() local
|
| D | FreeRTOS_TCP_Transmission.c | 814 size_t uxOffset; in prvTCPPrepareSend() local
|
| D | FreeRTOS_Sockets.c | 5189 size_t uxOffset, in lTCPAddRxdata()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOS_IP_Utils_DiffConfig_utest.c | 310 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 2849 size_t uxOffset; in test_lTCPAddRxdata_StreamCannotBeAllocated() local
2880 size_t uxOffset = 0; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() local
2915 size_t uxOffset = 0; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() local
2950 size_t uxOffset = 0; in test_lTCPAddRxdata_FrontSpaceLessThanLowMark() local
2991 size_t uxOffset = 0; in test_lTCPAddRxdata_LowWaterTrue() local
3023 size_t uxOffset = 0; in test_lTCPAddRxdata_HasValidHandler() local
3070 size_t uxOffset = 0; in test_lTCPAddRxdata_HasValidHandler_DataNULL() local
3114 size_t uxOffset = 10; in test_lTCPAddRxdata_HasValidHandler_NonZeroOffset() local
3157 size_t uxOffset = 0; in test_lTCPAddRxdata_HasValidHandlerWithNonZeroSize() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 354 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.c | 533 size_t uxOffset; in vActualDump() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 277 size_t uxOffset; in test_prvPacketBuffer_to_NetworkBuffer_NULLParam() local
292 size_t uxOffset = 12; in test_prvPacketBuffer_to_NetworkBuffer_Unalligned() local
312 size_t uxOffset = 20; in test_prvPacketBuffer_to_NetworkBuffer_Alligned() local
336 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer() local
375 size_t uxOffset = sizeof( UDPPacket_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_UnknownIPType() local
403 size_t uxOffset = sizeof( UDPPacket_IPv6_t ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 968 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 1120 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers() local
|
