ensure_FreeRTOS_NetworkBuffer_is_allocated (reference) in projects: FreeRTOS-Plus-TCP-v3.1.0

Searched refs:ensure_FreeRTOS_NetworkBuffer_is_allocated (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
H D	TCPPrepareSend_harness.c	`50 NetworkBufferDescriptor_t * pxBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxGetNetworkBufferWithDescriptor() 68 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
H D	TCPReturnPacket_harness.c	`52 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxDuplicateNetworkBufferWithDescriptor() 99 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
H D	memory_assignments.c	`29 NetworkBufferDescriptor_t * ensure_FreeRTOS_NetworkBuffer_is_allocated() in ensure_FreeRTOS_NetworkBuffer_is_allocated() function`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
H D	TCPHandleState_harness.c	`86 NetworkBufferDescriptor_t * pxNetworkBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in harness()`