| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 85 …pxSocket->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeT… in harness()
100 … NetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | README.md | 17 buffer allocated by pxGetNetworkBufferWithDescriptor allocates
27 * All proofs mock the pxGetNetworkBufferWithDescriptor
|
| D | OutputARPRequest_harness.c | 54 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| D | ARPAgeCache_harness.c | 12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 61 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHE… in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | NetworkBufferManagement.h | 39 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 88 …NetworkBufferDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSi… in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | NetworkInterface_wifi.c | 154 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, 0 ); in xNetworkFrameReceived()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 89 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/esp32/ |
| D | NetworkInterface.c | 149 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( len, xDescriptorWaitTime ); in wlanif_input()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/ |
| D | FaultInjection.c | 55 pxReturn = pxGetNetworkBufferWithDescriptor( pxOriginalPacket->xDataLength, 0 ); in prvDuplicatePacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/ |
| D | NetworkInterface.c | 241 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( 0, ( TickType_t ) 0 ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 579 … pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in prvSetupRxDescriptors()
710 …pxNewDescriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, xDescriptorWaitTi… in prvNetworkInterfaceInput()
749 … pxDescriptor = pxGetNetworkBufferWithDescriptor( usLength, xDescriptorWaitTime ); in prvNetworkInterfaceInput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/mw300_rd/ |
| D | NetworkInterface.c | 133 …pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( /*payload_len*/ datalen, xDescriptorWaitTime ); in process_data_packet()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 252 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | NetworkInterface.c | 284 pxBufferDescriptor = pxGetNetworkBufferWithDescriptor( PACKET_BUFFER_SIZE, 0 ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 384 pxNewBuffer = pxGetNetworkBufferWithDescriptor( dmaRX_TX_BUFFER_SIZE, ( TickType_t ) 0 ); in emacps_check_rx()
547 pxBuffer = pxGetNetworkBufferWithDescriptor( dmaRX_TX_BUFFER_SIZE, ( TickType_t ) 0 ); in init_dma()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 199 pxBufferDescriptor = pxGetNetworkBufferWithDescriptor( uxSize, uxBlockTimeTicks ); in pucGetRXBuffer()
566 pxBufferDescriptor = pxGetNetworkBufferWithDescriptor( uxLength, 0u ); in prvNetworkInterfaceInput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/TM4C/ |
| D | NetworkInterface.c | 477 stack_descriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in _dma_descriptors_init()
616 …new_stack_descriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, max_block_ti… in _process_received_packet()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 190 pxDescriptor = pxGetNetworkBufferWithDescriptor( NETWORK_BUFFER_LEN, portMAX_DELAY ); in vNetifReceiveTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| D | BufferAllocation_2.c | 231 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 415 pxNewBuffer = pxGetNetworkBufferWithDescriptor( dmaRX_TX_BUFFER_SIZE, ( TickType_t ) 0 ); in emacps_check_rx()
597 pxBuffer = pxGetNetworkBufferWithDescriptor( dmaRX_TX_BUFFER_SIZE, ( TickType_t ) 0 ); in init_dma()
|
