xLocalBuffer (definition) in projects: FreeRTOS-Plus-TCP-v3.1.0

Searched defs:xLocalBuffer (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Stream_Buffer/
D	FreeRTOS_Stream_Buffer_utest.c	77 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_SameLocation() local 93 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperGTLower() local 109 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperLTLower() local 125 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_SameLocation() local 141 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_UpperGTLower() local 157 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_UpperLTLower() local 177 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferGetSpace() local 197 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferFrontSpace() local 217 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferGetSize() local 237 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferMidSpace() local [all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPProcessPacket/
D	ARPProcessPacket_harness.c	`21 NetworkBufferDescriptor_t xLocalBuffer; in harness() local`
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
D	FreeRTOS_ARP_utest.c	`672 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull() local 709 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1() local 755 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2() local`