| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
39 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
40 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
41 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer );
52 …NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * co…
57 …NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNet…
66 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
67 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | NetworkBufferManagement.h | 39 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
43 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
44 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
47 BaseType_t vNetworkBufferReleaseFromISR( NetworkBufferDescriptor_t * const pxNetworkBuffer );
58 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t…
63 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetw…
72 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
73 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr );
|
| D | FreeRTOS_TCP_Transmission.h | 46 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
52 NetworkBufferDescriptor_t * pxDescriptor,
73 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
86 const NetworkBufferDescriptor_t * pxNetworkBuffer );
94 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
103 BaseType_t prvTCPSendChallengeAck( NetworkBufferDescriptor_t * pxNetworkBuffer );
108 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer );
114 NetworkBufferDescriptor_t * prvTCPBufferResize( const FreeRTOS_Socket_t * pxSocket,
115 NetworkBufferDescriptor_t * pxNetworkBuffer,
|
| D | FreeRTOS_TCP_Reception.h | 42 const NetworkBufferDescriptor_t * pxNetworkBuffer );
48 BaseType_t prvCheckRxData( const NetworkBufferDescriptor_t * pxNetworkBuffer,
57 NetworkBufferDescriptor_t * pxNetworkBuffer,
|
| D | FreeRTOS_ARP.h | 93 BaseType_t xCheckRequiresARPResolution( const NetworkBufferDescriptor_t * pxNetworkBuffer );
125 void vARPGenerateRequestPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
148 BaseType_t xCheckLoopback( NetworkBufferDescriptor_t * const pxDescriptor,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 66 static NetworkBufferDescriptor_t xNetworkBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ];
78 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
80 static UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc );
120 BaseType_t prvIsFreeBuffer( const NetworkBufferDescriptor_t * pxDescr ) in prvIsFreeBuffer()
139 UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc ) in bIsValidNetworkDescriptor()
154 static UBaseType_t bIsValidNetworkDescriptor( const NetworkBufferDescriptor_t * pxDesc ) in bIsValidNetworkDescriptor()
233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
236 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor()
254 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor()
321 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR()
[all …]
|
| D | BufferAllocation_2.c | 103 …static NetworkBufferDescriptor_t xNetworkBufferDescriptors[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS… in xNetworkBuffersInitialise()
231 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
234 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor()
247 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor()
302 … *( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer ) ) = pxReturn; in pxGetNetworkBufferWithDescriptor()
339 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor()
397 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetw… in pxResizeNetworkBufferWithDescriptor()
403 NetworkBufferDescriptor_t * pxNetworkBufferCopy = pxNetworkBuffer; in pxResizeNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/ |
| D | FaultInjection.c | 6 static NetworkBufferDescriptor_t * xNetworkBufferCache[ xBUFFER_CACHE_SIZE ] = { 0 };
12 static BaseType_t prvCachePacket( NetworkBufferDescriptor_t * pxNetworkBufferIn ) in prvCachePacket()
30 static NetworkBufferDescriptor_t * prvGetCachedPacket( void ) in prvGetCachedPacket()
33 NetworkBufferDescriptor_t * pxReturn = NULL; in prvGetCachedPacket()
49 static NetworkBufferDescriptor_t * prvDuplicatePacket( NetworkBufferDescriptor_t * pxOriginalPacket, in prvDuplicatePacket()
52 NetworkBufferDescriptor_t * pxReturn; in prvDuplicatePacket()
68 static NetworkBufferDescriptor_t * prvRxFaultInjection( NetworkBufferDescriptor_t * pxNetworkBuffer… in prvRxFaultInjection()
72 NetworkBufferDescriptor_t * pxReturn = pxNetworkBufferIn; in prvRxFaultInjection()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 43 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
50 NetworkBufferDescriptor_t * pxBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxGetNetworkBufferWithDescriptor()
51 size_t bufferSize = sizeof( NetworkBufferDescriptor_t ); in pxGetNetworkBufferWithDescriptor()
68 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| D | ARPAgeCache_harness.c | 12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
15 …NetworkBufferDescriptor_t * pxNetworkBuffer = ( NetworkBufferDescriptor_t * ) malloc( sizeof( Netw… in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 44 NetworkBufferDescriptor_t * pxNetworkBuffer,
49 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor()
52 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxDuplicateNetworkBufferWithDescriptor()
63 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * pxDescriptor, in xNetworkInterfaceOutput()
99 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 10 BaseType_t xProcessReceivedTCPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in xProcessReceivedTCPPacket()
15 BaseType_t xProcessReceivedUDPPacket( NetworkBufferDescriptor_t * pxNetworkBuffer, in xProcessReceivedUDPPacket()
27 NetworkBufferDescriptor_t * const pxNetworkBuffer );
62 … NetworkBufferDescriptor_t * const pxNetworkBuffer = malloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 89 static NetworkBufferDescriptor_t xNetworkBufferDescriptors[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS …
184 NetworkBufferDescriptor_t * pxBufferDescriptor, in PIC32_MacAssociate()
203 …NetworkBufferDescriptor_t ** ppDcpt = ( NetworkBufferDescriptor_t ** ) ( pPktBuff - ipBUFFER_PADDI… in PIC32_MacAssociate()
383 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
386 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor()
417 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor()
459 …*( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer - ipBUFFER_PADDING ) ) = pxRetur… in pxGetNetworkBufferWithDescriptor()
461 … *( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer ) ) = pxReturn; in pxGetNetworkBufferWithDescriptor()
497 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor()
553 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetw… in pxResizeNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 194 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_NULL_socket()
217 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_send_dns_request()
260 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
305 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
358 NetworkBufferDescriptor_t xNetworkBuffer; in test_FreeRTOS_gethostbyname_succes()
409 NetworkBufferDescriptor_t xNetworkBuffer; in test_ulDNSHandlePacket_success()
428 NetworkBufferDescriptor_t xNetworkBuffer; in test_ulDNSHandlePacket_fail_small_buffer()
446 NetworkBufferDescriptor_t xNetworkBuffer; in test_ulDNSHandlePacket_fail_small_buffer2()
463 NetworkBufferDescriptor_t xNetworkBuffer; in test_ulNBNSHandlePacket_success()
482 NetworkBufferDescriptor_t xNetworkBuffer; in test_ulNBNSHandlePacket_fail_small_buffer()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 89 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
92 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in pxGetNetworkBufferWithDescriptor()
105 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | aws_freertos_tcp_verification_access_tcp_define.h | 2 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in publicTCPPrepareSend()
9 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in publicTCPHandleState()
15 NetworkBufferDescriptor_t * pxNetworkBuffer, in publicTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 27 void __CPROVER_file_local_FreeRTOS_IP_c_prvProcessEthernetPacket( NetworkBufferDescriptor_t * const…
49 … NetworkBufferDescriptor_t * const pxNetworkBuffer ) in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
61 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 71 NetworkBufferDescriptor_t * const pxNetworkBuffer );
72 void prvProcessEthernetPacket( NetworkBufferDescriptor_t * const pxNetworkBuffer );
74 const NetworkBufferDescriptor_t * const pxNetworkBuffer,
223 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig()
243 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig()
263 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer = &xNetworkBuffer; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig()
591 …pxUDPPayloadBuffer_to_NetworkBuffer_ExpectAndReturn( pvBuffer, ( NetworkBufferDescriptor_t * ) 0x1… in test_FreeRTOS_ReleaseUDPPayloadBuffer()
592 vReleaseNetworkBufferAndDescriptor_Expect( ( NetworkBufferDescriptor_t * ) 0x12123434 ); in test_FreeRTOS_ReleaseUDPPayloadBuffer()
737 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent()
762 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_prvProcessIPEventsAndTimers_eNetworkTxEvent()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_utest.c | 71 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_CatchAssert()
82 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_AllZeroData()
101 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_EchoRequest()
137 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
160 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
187 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
219 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 26 uint32_t ulDNSHandlePacket( NetworkBufferDescriptor_t * pxNetworkBuffer ) in ulDNSHandlePacket()
51 NetworkBufferDescriptor_t * pxNetworkBuffer = safeMalloc( sizeof( NetworkBufferDescriptor_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 26 void vNetworkInterfaceAllocateRAMToBuffers( NetworkBufferDescriptor_t pxNetworkBuffers[ ipconfigNUM… in vNetworkInterfaceAllocateRAMToBuffers()
30 NetworkBufferDescriptor_t * current = &pxNetworkBuffers[ x ]; in vNetworkInterfaceAllocateRAMToBuffers()
64 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxDescriptor, in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 88 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_CantSendPacket()
113 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketSmaller()
151 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
187 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_UnknownARPReturn()
220 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_CacheHit_NoICMP()
259 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_vProcessGeneratedUDPPacket_CacheHit_ICMPPacket_LLMNR_UDPChkSumOption()
299 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_xProcessReceivedUDPPacket_catchAsserts()
314 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_xProcessReceivedUDPPacket_NoListeningSocket_NotForThisNode()
339 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_xProcessReceivedUDPPacket_NoListeningSocket_DelayedDNSResponse()
372 NetworkBufferDescriptor_t xLocalNetworkBuffer; in test_xProcessReceivedUDPPacket_NoListeningSocket_LLMNRResponse()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_utest.c | 52 const NetworkBufferDescriptor_t * pxNetworkBuffer );
53 BaseType_t prvTCPSendReset( NetworkBufferDescriptor_t * pxNetworkBuffer );
56 NetworkBufferDescriptor_t xNetworkBuffer, * pxNetworkBuffer;
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 77 static NetworkBufferDescriptor_t * pxDMA_rx_buffers[ ipconfigNIC_N_RX_DESC ] = { NULL };
128 NetworkBufferDescriptor_t * pxBuffer; in emacps_check_tx()
212 NetworkBufferDescriptor_t * pxBuffer, in emacps_send_message()
327 static void prvPassEthMessages( NetworkBufferDescriptor_t * pxDescriptor ) in prvPassEthMessages()
343 NetworkBufferDescriptor_t * pxNext = pxDescriptor->pxNextBuffer; in prvPassEthMessages()
360 NetworkBufferDescriptor_t * pxBuffer, * pxNewBuffer; in emacps_check_rx()
366 NetworkBufferDescriptor_t * pxFirstDescriptor = NULL; in emacps_check_rx()
367 NetworkBufferDescriptor_t * pxLastDescriptor = NULL; in emacps_check_rx()
391 pxNewBuffer = ( NetworkBufferDescriptor_t * ) pxDMA_rx_buffers[ head ]; in emacps_check_rx()
395 pxBuffer = ( NetworkBufferDescriptor_t * ) pxDMA_rx_buffers[ head ]; in emacps_check_rx()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 60 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
86 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()
87 size_t bufferSize = sizeof( NetworkBufferDescriptor_t ); in harness()
|
