Searched refs:pucNextData (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 86 const uint8_t * pucNextData, in usGenerateChecksum() argument
89 __CPROVER_assert( pucNextData != NULL, "The next data pointer cannot be NULL" ); in usGenerateChecksum()
90 …__CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "The pucNextData should be readable.… in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 1163 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_UnallignedAccess() local
1167 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_UnallignedAccess()
1171 if( ( ( uintptr_t ) &pucNextData[ uxUnalligned ] ) & 0x01U ) in test_usGenerateChecksum_UnallignedAccess()
1177 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_UnallignedAccess()
1186 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_OneByteToChecksum() local
1190 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_OneByteToChecksum()
1194 if( ( ( uintptr_t ) &pucNextData[ uxUnalligned ] ) & 0x01U ) in test_usGenerateChecksum_OneByteToChecksum()
1200 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteToChecksum()
1209 uint8_t pucNextData[ ipconfigTCP_MSS ]; in test_usGenerateChecksum_OneByteAllignedButZeroLength() local
1213 memset( pucNextData, 0xAB, ipconfigTCP_MSS ); in test_usGenerateChecksum_OneByteAllignedButZeroLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 25 const uint8_t * pucNextData, in usGenerateChecksum() argument
28 __CPROVER_assert( pucNextData != NULL, "Next data in GenerateChecksum cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 34 const uint8_t * pucNextData, in usGenerateChecksum() argument
39 __CPROVER_assert( pucNextData != NULL, "Next data cannot be NULL" ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP_Utils.c | 828 const uint8_t * pucNextData, in usGenerateChecksum() argument
853 xSource.u8ptr = pucNextData; in usGenerateChecksum()
858 uxAlignBits = ( ( ( uintptr_t ) pucNextData ) & 0x03U ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 466 const uint8_t * pucNextData,
|
