Home
last modified time | relevance | path

Searched defs:xRequestedSizeBytes (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/
DARPAgeCache_harness.c12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/
DOutputARPRequest_harness.c54 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c28 size_t xRequestedSizeBytes; in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/
DBufferAllocation_1.c233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
321 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR()
DBufferAllocation_2.c231 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c214 void * FreeRTOS_GetUDPPayloadBuffer( size_t xRequestedSizeBytes, in FreeRTOS_GetUDPPayloadBuffer()
252 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c81 size_t xRequestedSizeBytes; in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c89 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
DPortable.c20 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/
DBufferAllocation_2.c383 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor()