Home
last modified time | relevance | path

Searched defs:ptr (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DOutputARPRequest_harness.c28 void * ptr = malloc( xWantedSize ); in pvPortMalloc() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_stubs.c80 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_stubs.c81 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
DFreeRTOS_ICMP_wo_assert_stubs.c81 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_stubs.c80 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_stubs.c82 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
DOutputARPRequest_harness.c51 void * ptr = malloc( xWantedSize ); in pvPortMalloc() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
DFreeRTOS_IP_Utils_DiffConfig_stubs.c82 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/
DFreeRTOS_IP_Timers_stubs.c86 void vPortFree( void * ptr ) in vPortFree()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOSIPConfigDefaults.h315 #define vPortFreeLarge( ptr ) vPortFree( ptr ) argument
323 #define vPortFreeSocket( ptr ) vPortFree( ptr ) argument
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c46 void * ptr = malloc( sizeof( Socket_t ) ); in FreeRTOS_socket() local
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/
DNetworkInterface_eth.c141 void * ptr = pvPortMalloc( nBytes ); in _calloc() local