Home
last modified time | relevance | path

Searched refs:pxGetNetworkBufferWithDescriptor (Results 1 – 25 of 62) sorted by relevance

123

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/
HDHandleEthernetPacket_harness.c55 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
82 pxBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
83 pxBuffer->pxNextBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
HDvSocketClose_harness.c85 …pxSocket->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeT… in harness()
100 … NetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/
HDREADME.md17 buffer allocated by pxGetNetworkBufferWithDescriptor allocates
27 * All proofs mock the pxGetNetworkBufferWithDescriptor
HDOutputARPRequest_harness.c54 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/
HDNetworkBufferManagement.h37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDNetworkBufferManagement.h46 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/
HDpxDuplicateNetworkBufferWithDescriptor_harness.c41 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
HDProcessReceivedTCPPacket_harness.c71 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPAgeCache/
HDARPAgeCache_harness.c12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/
HDprvProcessEthernetPacket_harness.c75 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
HDTCPPrepareSend_harness.c47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA/
HDReceiveRA_harness.c52 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/
HDProcessReceivedTCPPacket_IPv6_harness.c72 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/
HDNetworkInterface_wifi.c154 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, 0 ); in xNetworkFrameReceived()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/
HDxCheckRequiresARPResolution_harness.c70 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
HDvProcessGeneratedUDPPacket_IPv6_harness.c95 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSi… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
HDvProcessGeneratedUDPPacket_harness.c99 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSi… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/
HDFaultInjection.c55 pxReturn = pxGetNetworkBufferWithDescriptor( pxOriginalPacket->xDataLength, 0 ); in prvDuplicatePacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
HDDHCPProcessEndPoint_harness.c111 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
HDDNSgetHostByName_a_harness.c116 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c115 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC17xx/
HDNetworkInterface.c241 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( 0, ( TickType_t ) 0 ); in prvEMACHandlerTask()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/esp32/
HDNetworkInterface.c217 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, xDescriptorWaitTime ); in wlanif_input()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/mw300_rd/
HDNetworkInterface.c133 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( /*payload_len*/ datalen, xDescriptorWaitTime ); in process_data_packet()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/
HDNetworkInterface.c590 … pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in prvSetupRxDescriptors()
721 …pxNewDescriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, xDescriptorWaitTi… in prvNetworkInterfaceInput()
760 … pxDescriptor = pxGetNetworkBufferWithDescriptor( usLength, xDescriptorWaitTime ); in prvNetworkInterfaceInput()

123