Searched refs:xLocalBuffer (Results 1 – 5 of 5) sorted by relevance
77 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_SameLocation() local79 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() local95 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() local111 xLocalBuffer.LENGTH = 10; in test_uxStreamBufferSpace_UpperLTLower()116 xReturn = uxStreamBufferSpace( &xLocalBuffer, uxUpper, uxLower ); in test_uxStreamBufferSpace_UpperLTLower()[all …]
37 NetworkBufferDescriptor_t xLocalBuffer; in harness() local50 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()52 xLocalBuffer.pucEthernetBuffer = malloc( usEthernetBufferSize ); in harness()57 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness()59 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
123 NetworkBufferDescriptor_t xLocalBuffer; in harness() local152 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()154 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()159 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness()161 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
125 NetworkBufferDescriptor_t xLocalBuffer; in harness() local154 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()156 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()161 __CPROVER_assume( xLocalBuffer.pucEthernetBuffer != NULL ); in harness()163 pxARPWaitingNetworkBuffer = &xLocalBuffer; in harness()
1354 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull() local1365 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull()1366 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_DifferentIP_WaitingBufferNonNull()1401 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferIncorrectHeaderSize() local1412 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_WaitingBufferIncorrectHeaderSize()1413 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferIncorrectHeaderSize()1448 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1() local1462 xLocalBuffer.pucEthernetBuffer = pucLocalEthernetBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1()1463 pxARPWaitingNetworkBuffer = &xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress1()1505 NetworkBufferDescriptor_t xLocalBuffer; in test_eARPProcessPacket_Reply_WaitingBufferNonNull_MatchingAddress2() local[all …]
