| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | 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-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | 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-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_stubs.c | 80 void vPortFree( void * ptr ) in vPortFree() argument
82 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_stubs.c | 81 void vPortFree( void * ptr ) in vPortFree() argument
83 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/ |
| D | FreeRTOS_ICMP_wo_assert_stubs.c | 81 void vPortFree( void * ptr ) in vPortFree() argument
83 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_stubs.c | 80 void vPortFree( void * ptr ) in vPortFree() argument
82 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 82 void vPortFree( void * ptr ) in vPortFree() argument
84 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOS_IP_Utils_DiffConfig_stubs.c | 82 void vPortFree( void * ptr ) in vPortFree() argument
84 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_stubs.c | 86 void vPortFree( void * ptr ) in vPortFree() argument
88 free( ptr ); in vPortFree()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 46 void * ptr = malloc( sizeof( Socket_t ) ); in FreeRTOS_socket() local
47 __CPROVER_assume( ptr != NULL ); in FreeRTOS_socket()
48 return ptr; in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOSIPConfigDefaults.h | 315 #define vPortFreeLarge( ptr ) vPortFree( ptr ) argument
323 #define vPortFreeSocket( ptr ) vPortFree( ptr ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | NetworkInterface_eth.c | 141 void * ptr = pvPortMalloc( nBytes ); in _calloc() local
143 if( ptr != 0 ) in _calloc()
145 memset( ptr, 0, nBytes ); in _calloc()
148 return ptr; in _calloc()
|
