Searched defs:pucPtr (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.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 | 1314 uint32_t ulChar2u32( const uint8_t * pucPtr ) in ulChar2u32()
1332 uint16_t usChar2u16( const uint8_t * pucPtr ) in usChar2u16()
|
| D | FreeRTOS_DHCP.c | 1003 uint8_t * pucPtr; in prvCreatePartDHCPMessage() local
|
| D | FreeRTOS_DNS.c | 328 const char * pucPtr; in llmnr_has_dot() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 41 uint8_t * pucPtr = malloc( buffer_size ); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 41 …__CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 1841 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_ulChar2u32() local
1851 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_usChar2u16() local
|
