| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| HD | plus_tcp_demo_cli.c | 344 char * ptr = pcBuffer; in handle_udp() local
346 char * pcToken = strchr( ptr, pcAtToken ); in handle_udp()
350 uxGetOptions( &( xOptions ), ( const char ** ) &( ptr ) ); in handle_udp()
364 rc = FreeRTOS_inet_pton( FREERTOS_AF_INET4, ptr, ( void * ) &xAddress ); in handle_udp()
372 rc = FreeRTOS_inet_pton( FREERTOS_AF_INET6, ptr, ( void * ) &xAddress ); in handle_udp()
470 char * ptr = pcBuffer; in handle_arpq() local
481 uxGetOptions( &( xOptions ), ( const char ** ) &( ptr ) ); in handle_arpq()
489 if( *ptr ) in handle_arpq()
491 char * pcBegin = ptr; in handle_arpq()
493 for( ; *ptr != 0; ptr++ ) in handle_arpq()
[all …]
|
| HD | http_client_test.c | 560 const char * ptr = apBuffer; in printBuffer() local
565 const char * next = ptr; in printBuffer()
591 if( ( int ) ( next - ptr ) >= aLineLen ) in printBuffer()
603 FreeRTOS_printf( ( "%s%s\n", apPrefix, ptr ) ); in printBuffer()
612 ptr = next; in printBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| HD | OutputARPRequest_harness.c | 28 void * ptr = malloc( xWantedSize ); in pvPortMalloc() local
30 __CPROVER_assume( ptr != NULL ); in pvPortMalloc()
31 return ptr; in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/ |
| HD | FreeRTOS_DNS_ConfigNoCallback_stubs.c | 61 void vPortFree( void * ptr ) in vPortFree() argument
63 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| HD | OutputARPRequest_harness.c | 51 void * ptr = malloc( xWantedSize ); in pvPortMalloc() local
53 __CPROVER_assume( ptr != NULL ); in pvPortMalloc()
54 return ptr; in pvPortMalloc()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| HD | FreeRTOS_DNS_stubs.c | 69 void vPortFree( void * ptr ) in vPortFree() argument
71 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP_wo_assert/ |
| HD | FreeRTOS_ICMP_wo_assert_stubs.c | 81 void vPortFree( void * ptr ) in vPortFree() argument
83 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/ |
| HD | FreeRTOS_ICMP_stubs.c | 81 void vPortFree( void * ptr ) in vPortFree() argument
83 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig2/ |
| HD | FreeRTOS_IP_DiffConfig2_stubs.c | 87 void vPortFree( void * ptr ) in vPortFree() argument
89 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| HD | FreeRTOS_IP_DiffConfig_stubs.c | 88 void vPortFree( void * ptr ) in vPortFree() argument
90 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/ |
| HD | FreeRTOS_IP_DiffConfig1_stubs.c | 89 void vPortFree( void * ptr ) in vPortFree() argument
91 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| HD | FreeRTOS_IP_stubs.c | 89 void vPortFree( void * ptr ) in vPortFree() argument
91 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/ |
| HD | FreeRTOS_IP_DiffConfig3_stubs.c | 88 void vPortFree( void * ptr ) in vPortFree() argument
90 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/ |
| HD | FreeRTOS_IP_Timers_stubs.c | 89 void vPortFree( void * ptr ) in vPortFree() argument
91 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| HD | freertos_api.c | 46 void * ptr = malloc( sizeof( struct xSOCKET ) ); in FreeRTOS_socket() local
47 __CPROVER_assume( ptr != NULL ); in FreeRTOS_socket()
48 return ptr; in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | FreeRTOSIPConfigDefaults.h | 364 #define vPortFreeLarge( ptr ) vPortFree( ptr ) argument
372 #define vPortFreeSocket( ptr ) vPortFree( ptr ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| HD | NetworkInterface_eth.c | 153 void * ptr = pvPortMalloc( nBytes ); in _calloc() local
155 if( ptr != 0 ) in _calloc()
157 memset( ptr, 0, nBytes ); in _calloc()
160 return ptr; in _calloc()
|
