Searched refs:uxNewLength (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
| D | xCheckLoopback_harness.c | 23 size_t uxNewLength ) in pxDuplicateNetworkBufferWithDescriptor() argument
31 pxReturnNetworkBuffer->pucEthernetBuffer = safeMalloc( uxNewLength ); in pxDuplicateNetworkBufferWithDescriptor()
34 pxReturnNetworkBuffer->xDataLength = uxNewLength; in pxDuplicateNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| D | pxDuplicateNetworkBufferWithDescriptor_harness.c | 73 size_t uxNewLength; in harness() local
77 __CPROVER_assume( uxNewLength < ipconfigNETWORK_MTU ); in harness()
88 ( void ) pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 53 size_t uxNewLength );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | NetworkBufferManagement.h | 66 size_t uxNewLength );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 112 size_t uxNewLength; in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned() local
116 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNewLength, 0, NULL ); in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned()
118 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned()
132 size_t uxNewLength = 0x345; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() local
149 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNewLength, 0, &xNetworkBuffer2 ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
152 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
155 TEST_ASSERT_EQUAL( xNetworkBuffer2.xDataLength, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
171 size_t uxNewLength = 0x34; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned() local
188 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNewLength, 0, &xNetworkBuffer2 ); in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
191 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP_Utils.c | 256 size_t uxNewLength ) in pxDuplicateNetworkBufferWithDescriptor() argument
259 size_t uxLengthToCopy = uxNewLength; in pxDuplicateNetworkBufferWithDescriptor()
264 pxNewBuffer = pxGetNetworkBufferWithDescriptor( uxNewLength, ( TickType_t ) 0 ); in pxDuplicateNetworkBufferWithDescriptor()
278 pxNewBuffer->xDataLength = uxNewLength; in pxDuplicateNetworkBufferWithDescriptor()
|
