| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| HD | FaultInjection.c | 105 vReleaseNetworkBufferAndDescriptor( pxNetworkBufferIn ); in prvRxFaultInjection()
129 vReleaseNetworkBufferAndDescriptor( pxNetworkBufferIn ); in prvRxFaultInjection()
150 vReleaseNetworkBufferAndDescriptor( pxNetworkBufferIn ); in prvRxFaultInjection()
164 vReleaseNetworkBufferAndDescriptor( pxNetworkBufferIn ); in prvRxFaultInjection()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| HD | NetworkInterface_wifi.c | 121 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in xNetworkInterfaceOutput()
190 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkFrameReceived()
|
| HD | BufferAllocation_2.c | 449 vReleaseNetworkBufferAndDescriptor( pxReturn ); in pxGetNetworkBufferWithDescriptor()
497 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC17xx/ |
| HD | NetworkInterface.c | 168 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
253 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC54018/ |
| HD | NetworkInterface.c | 159 vReleaseNetworkBufferAndDescriptor( pxBufferDescriptor ); in prvProcessFrame()
167 vReleaseNetworkBufferAndDescriptor( pxBufferDescriptor ); in prvProcessFrame()
366 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/esp32/ |
| HD | NetworkInterface.c | 173 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xESP32_Eth_NetworkInterfaceOutput()
233 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in wlanif_input()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/mw300_rd/ |
| HD | NetworkInterface.c | 148 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in process_data_packet()
243 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| HD | README.md | 14 * vReleaseNetworkBufferAndDescriptor
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| HD | NetworkBufferManagement.h | 40 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | NetworkBufferManagement.h | 51 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/SH2A/ |
| HD | NetworkInterface.c | 114 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| HD | README.md | 20 * vReleaseNetworkBufferAndDescriptor
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/RX/ |
| HD | NetworkInterface.c | 246 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in xRX_NetworkInterfaceOutput()
355 vReleaseNetworkBufferAndDescriptor( pxBufferDescriptor ); in prvEMACDeferredInterruptHandlerTask()
372 vReleaseNetworkBufferAndDescriptor( pxBufferDescriptor ); in prvEMACDeferredInterruptHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| HD | OutputARPRequest_harness.c | 54 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/ |
| HD | NetworkInterface.c | 174 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in xNetworkInterfaceOutput()
310 vReleaseNetworkBufferAndDescriptor( pxBufferDescriptor ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/ |
| HD | NetworkInterface.c | 398 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xNetworkInterfaceOutput()
576 vReleaseNetworkBufferAndDescriptor( stack_descriptor ); in _process_transmit_complete()
641 vReleaseNetworkBufferAndDescriptor( cur_stack_descriptor ); in _process_received_packet()
655 vReleaseNetworkBufferAndDescriptor( cur_stack_descriptor ); in _process_received_packet()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| HD | NetworkInterface.c | 315 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in xNetworkInterfaceOutput()
501 vReleaseNetworkBufferAndDescriptor( pxNextNetworkBufferDescriptor ); in prvEMACRxPoll()
597 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| HD | OutputARPRequest_harness.c | 74 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| HD | BufferAllocation_2.c | 289 vReleaseNetworkBufferAndDescriptor( pxReturn ); in pxGetNetworkBufferWithDescriptor()
340 void vReleaseNetworkBufferAndDescriptor( NetworkBufferDescriptor_t * const pxNetworkBuffer ) in vReleaseNetworkBufferAndDescriptor() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| HD | x_emacpsif_dma.c | 174 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
320 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_send_message()
381 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in prvPassEthMessages()
387 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in prvPassEthMessages()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| HD | x_emacpsif_dma.c | 174 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
350 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_send_message()
398 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in prvPassEthMessages()
404 vReleaseNetworkBufferAndDescriptor( pxDescriptor ); in prvPassEthMessages()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| HD | README.md | 25 * vReleaseNetworkBufferAndDescriptor
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/MPS2_AN385/ |
| HD | NetworkInterface.c | 170 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in prvRxTask()
364 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in xMPS2_NetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| HD | TCPReturnPacket_harness.c | 60 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| HD | TCPReturnPacket_IPv6_harness.c | 61 vReleaseNetworkBufferAndDescriptor( pxNetworkBuffer ); in NetworkInterfaceOutputFunction_Stub()
|
