Searched refs:pucPtr (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.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_IP_Utils.c | 1704 uint32_t ulChar2u32( const uint8_t * pucPtr ) in ulChar2u32() argument
1706 return ( ( ( uint32_t ) pucPtr[ 0 ] ) << 24 ) | in ulChar2u32()
1707 ( ( ( uint32_t ) pucPtr[ 1 ] ) << 16 ) | in ulChar2u32()
1708 ( ( ( uint32_t ) pucPtr[ 2 ] ) << 8 ) | in ulChar2u32()
1709 ( ( ( uint32_t ) pucPtr[ 3 ] ) ); in ulChar2u32()
1722 uint16_t usChar2u16( const uint8_t * pucPtr ) in usChar2u16() argument
1725 ( ( ( ( uint32_t ) pucPtr[ 0 ] ) << 8 ) | in usChar2u16()
1726 ( ( ( uint32_t ) pucPtr[ 1 ] ) ) ); in usChar2u16()
|
| D | FreeRTOS_DHCP.c | 1375 uint8_t * pucPtr; in prvCreatePartDHCPMessage() local
1440 … pucPtr = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + ( *pxOptionsArraySize - 1U ) ] ); in prvCreatePartDHCPMessage()
1441 pucPtr[ 0U ] = dhcpIPv4_DNS_HOSTNAME_OPTIONS_CODE; in prvCreatePartDHCPMessage()
1442 pucPtr[ 1U ] = ( uint8_t ) uxNameLength; in prvCreatePartDHCPMessage()
1452 pvCopyDest = &pucPtr[ 2U ]; in prvCreatePartDHCPMessage()
1457 pucPtr[ 2U + uxNameLength ] = ( uint8_t ) dhcpOPTION_END_BYTE; in prvCreatePartDHCPMessage()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 27 void __CPROVER_file_local_FreeRTOS_TCP_Reception_c_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 __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption( pucPtr, uxIndex, pxSocket ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 32 …__CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr,
49 …ER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions( const uint8_t * const pucPtr, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions() argument
61 __CPROVER_assert( pucPtr != NULL, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 813 extern uint32_t ulChar2u32( const uint8_t * pucPtr );
815 extern uint16_t usChar2u16( const uint8_t * pucPtr );
|
| /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
2936 ulResult = ulChar2u32( pucPtr ); in test_ulChar2u32()
2948 uint8_t pucPtr[] = { 0xAA, 0x00, 0x12, 0xEF }; in test_usChar2u16() local
2950 usResult = usChar2u16( pucPtr ); in test_usChar2u16()
2954 usResult = usChar2u16( &pucPtr[ 2 ] ); in test_usChar2u16()
|
