Searched defs:pucPtr (Results 1 – 7 of 7) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsOuter/ |
| D | CheckOptionsOuter_harness.c | 44 void __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption( const uint8_t * const pucPtr, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
74 uint8_t * pucPtr = malloc( buffer_size ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Reception.c | 107 const uint8_t * pucPtr; in prvCheckOptions() local
197 static int32_t prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr, in prvSingleStepTCPHeaderOptions()
372 static void prvReadSackOption( const uint8_t * const pucPtr, in prvReadSackOption()
|
| D | FreeRTOS_IP_Utils.c | 1704 uint32_t ulChar2u32( const uint8_t * pucPtr ) in ulChar2u32()
1722 uint16_t usChar2u16( const uint8_t * pucPtr ) in usChar2u16()
|
| D | FreeRTOS_DHCP.c | 1375 uint8_t * pucPtr; in prvCreatePartDHCPMessage() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 41 uint8_t * pucPtr = malloc( buffer_size ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 49 …ER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 2934 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_ulChar2u32() local
2948 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_usChar2u16() local
|
