Home
last modified time | relevance | path

Searched defs:pxDuplicateNetworkBufferWithDescriptor (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/
DxCheckLoopback_harness.c22 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c88 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c87 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor() function
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP_Utils.c255 NetworkBufferDescriptor_t * pxDuplicateNetworkBufferWithDescriptor( const NetworkBufferDescriptor_t… in pxDuplicateNetworkBufferWithDescriptor() function