Searched refs:xWantedSize (Results 1 – 12 of 12) sorted by relevance
12 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument14 if( xWantedSize == 0 ) in safeMalloc()21 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
31 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument33 if( xWantedSize == 0 ) in safeMalloc()40 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
22 void * safeMalloc( size_t xWantedSize ) /* Returns a NULL pointer if the wanted size is 0. */ in safeMalloc() argument24 if( xWantedSize == 0 ) in safeMalloc()31 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
86 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument88 if( xWantedSize == 0 ) in pvPortMalloc()93 return nondet_bool() ? malloc( xWantedSize ) : NULL; in pvPortMalloc()
26 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument28 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
19 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument21 if( xWantedSize == 0 ) in safeMalloc()28 return byte ? malloc( xWantedSize ) : NULL; in safeMalloc()
8 void * safeMalloc( size_t xWantedSize ) in safeMalloc() argument10 return nondet_bool() ? malloc( xWantedSize ) : NULL; in safeMalloc()
49 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument51 void * ptr = malloc( xWantedSize ); in pvPortMalloc()
119 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument121 return malloc( xWantedSize ); in pvPortMalloc()
122 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument124 return malloc( xWantedSize ); in pvPortMalloc()
138 void * pvPortMalloc( size_t xWantedSize ) in pvPortMalloc() argument140 return malloc( xWantedSize ); in pvPortMalloc()