| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | cbmc.h | 77 __CPROVER_assert( pvPortMalloc( 0 ) == NULL, \
86 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_stubs.c | 75 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/ |
| D | FreeRTOS_ICMP_stubs.c | 76 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/ |
| D | FreeRTOS_ICMP_wo_assert_stubs.c | 76 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_stubs.c | 75 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_stubs.c | 77 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOS_IP_Utils_DiffConfig_stubs.c | 77 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_stubs.c | 81 void * pvPortMalloc( size_t xNeeded ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | OutputARPRequest_harness.c | 26 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| D | README.md | 18 * pvPortMalloc
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 49 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 201 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
283 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytesCopy + ipBUFFER_PADDI… in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
| D | FreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c | 119 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_stubs.c | 122 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 138 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | IPTraceMacroDefaults.h | 172 #define pvPortMallocSocket( xSize ) pvPortMalloc( ( xSize ) )
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ |
| D | Portable.c | 138 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | IPTraceMacroDefaults.h | 214 #define pvPortMallocSocket( xSize ) pvPortMalloc( ( xSize ) )
|
| D | FreeRTOSIPConfigDefaults.h | 311 #define pvPortMallocLarge( x ) pvPortMalloc( x )
319 #define pvPortMallocSocket( x ) pvPortMalloc( x )
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 347 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
441 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytes + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor()
|
| D | NetworkInterface_eth.c | 131 return pvPortMalloc( nBytes ); in _malloc()
141 void * ptr = pvPortMalloc( nBytes ); in _calloc()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Callback.c | 113 …DNSCallback_t * pxCallback = ( ( DNSCallback_t * ) pvPortMalloc( sizeof( *pxCallback ) + lLength )… in vDNSSetCallBack()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 530 … xDMATxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupTxDescriptors()
595 … xDMARxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupRxDescriptors()
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.c | 211 xPacketBuffer = ( StreamBuffer_t * ) pvPortMalloc( uxSize ); in dump_packet_init()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetifBackendLibslirp.c | 245 pvContextBuffer = pvPortMalloc( sizeof( SlirpBackendContext_t ) ); in vMBuffNetifBackendInit()
|
