Searched refs:pucPtr (Results 1 – 9 of 9) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_Reception.c | 66 static int32_t prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr,
77 static void prvReadSackOption( const uint8_t * const pucPtr,
107 const uint8_t * pucPtr; in prvCheckOptions() local
120 pucPtr = pxTCPHeader->ucOptdata; in prvCheckOptions()
155 … lResult = prvSingleStepTCPHeaderOptions( pucPtr, uxOptionsLength, pxSocket, xHasSYNFlag ); in prvCheckOptions()
169 pucPtr = &( pucPtr[ lResult ] ); in prvCheckOptions()
197 static int32_t prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr, in prvSingleStepTCPHeaderOptions() argument
209 if( pucPtr[ 0U ] == tcpTCP_OPT_END ) in prvSingleStepTCPHeaderOptions()
214 else if( pucPtr[ 0U ] == tcpTCP_OPT_NOOP ) in prvSingleStepTCPHeaderOptions()
227 else if( pucPtr[ 0 ] == tcpTCP_OPT_WSOPT ) in prvSingleStepTCPHeaderOptions()
[all …]
|
| D | FreeRTOS_DNS.c | 328 const char * pucPtr; in llmnr_has_dot() local
330 for( pucPtr = pcHostName; *pucPtr != ( char ) 0; pucPtr++ ) in llmnr_has_dot()
332 if( *pucPtr == '.' ) in llmnr_has_dot()
|
| D | FreeRTOS_IP_Utils.c | 1314 uint32_t ulChar2u32( const uint8_t * pucPtr ) in ulChar2u32() argument
1316 return ( ( ( uint32_t ) pucPtr[ 0 ] ) << 24 ) | in ulChar2u32()
1317 ( ( ( uint32_t ) pucPtr[ 1 ] ) << 16 ) | in ulChar2u32()
1318 ( ( ( uint32_t ) pucPtr[ 2 ] ) << 8 ) | in ulChar2u32()
1319 ( ( ( uint32_t ) pucPtr[ 3 ] ) ); in ulChar2u32()
1332 uint16_t usChar2u16( const uint8_t * pucPtr ) in usChar2u16() argument
1335 ( ( ( ( uint32_t ) pucPtr[ 0 ] ) << 8 ) | in usChar2u16()
1336 ( ( ( uint32_t ) pucPtr[ 1 ] ) ) ); in usChar2u16()
|
| D | FreeRTOS_DHCP.c | 1003 uint8_t * pucPtr; in prvCreatePartDHCPMessage() local
1057 … pucPtr = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + ( *pxOptionsArraySize - 1U ) ] ); in prvCreatePartDHCPMessage()
1058 pucPtr[ 0U ] = dhcpIPv4_DNS_HOSTNAME_OPTIONS_CODE; in prvCreatePartDHCPMessage()
1059 pucPtr[ 1U ] = ( uint8_t ) uxNameLength; in prvCreatePartDHCPMessage()
1067 pvCopyDest = &pucPtr[ 2U ]; in prvCreatePartDHCPMessage()
1070 pucPtr[ 2U + uxNameLength ] = ( uint8_t ) dhcpOPTION_END_BYTE; in prvCreatePartDHCPMessage()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsOuter/ |
| D | CheckOptionsOuter_harness.c | 27 …ER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr,
44 void __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption( const uint8_t * const pucPtr, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption() argument
55 __CPROVER_assert( pucPtr != NULL, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
74 uint8_t * pucPtr = malloc( buffer_size ); in harness() local
88 __CPROVER_assume( pucPtr != NULL ); in harness()
92 …nt32_t index = __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions( pucPtr, in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 27 void prvReadSackOption( const uint8_t * const pucPtr,
41 uint8_t * pucPtr = malloc( buffer_size ); in harness() local
43 __CPROVER_assume( pucPtr != NULL ); in harness()
98 __CPROVER_assume( pucPtr != NULL ); in harness()
101 prvReadSackOption( pucPtr, uxIndex, pxSocket ); in harness()
|
| /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() argument
53 __CPROVER_assert( pucPtr != NULL, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 780 extern uint32_t ulChar2u32( const uint8_t * pucPtr );
782 extern uint16_t usChar2u16( const uint8_t * pucPtr );
|
| /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
1843 ulResult = ulChar2u32( pucPtr ); in test_ulChar2u32()
1851 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_usChar2u16() local
1853 usResult = usChar2u16( pucPtr ); in test_usChar2u16()
1857 usResult = usChar2u16( &pucPtr[ 2 ] ); in test_usChar2u16()
|
