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

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs: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 79 xLocalBuffer.LENGTH = 10; in test_uxStreamBufferSpace_SameLocation() 84 xReturn = uxStreamBufferSpace( &xLocalBuffer, uxUpper, uxLower ); in test_uxStreamBufferSpace_SameLocation() 85 TEST_ASSERT_EQUAL( xLocalBuffer.LENGTH + uxUpper - uxLower - 1, xReturn ); in test_uxStreamBufferSpace_SameLocation() 93 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperGTLower() local 95 xLocalBuffer.LENGTH = 10; in test_uxStreamBufferSpace_UpperGTLower() 100 xReturn = uxStreamBufferSpace( &xLocalBuffer, uxUpper, uxLower ); in test_uxStreamBufferSpace_UpperGTLower() 109 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperLTLower() local 111 xLocalBuffer.LENGTH = 10; in test_uxStreamBufferSpace_UpperLTLower() 116 xReturn = uxStreamBufferSpace( &xLocalBuffer, uxUpper, uxLower ); in test_uxStreamBufferSpace_UpperLTLower() [all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPProcessPacket/
D	ARPProcessPacket_harness.c	`21 NetworkBufferDescriptor_t xLocalBuffer; in harness() local 34 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness() 36 xLocalBuffer.pucEthernetBuffer = malloc( usEthernetBufferSize ); in harness() 41 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness() 43 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()`
/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 680 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull() 681 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull() 709 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1() local 719 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1() 720 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1() 755 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2() local 765 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2() 766 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2()