33 extern void mig_os_release(void* ptr);
47 free(void *ptr)  in free()  argument
50 		_libkernel_functions->free(ptr);  in free()
56 realloc(void *ptr, size_t size)  in realloc()  argument
59 		return _libkernel_functions->realloc(ptr, size);  in realloc()
66 reallocf(void *ptr, size_t size)  in reallocf()  argument
68 	void *nptr = realloc(ptr, size);  in reallocf()
69 	if (!nptr && ptr) {  in reallocf()
70 		free(ptr);  in reallocf()
89 malloc_type_free(void *ptr, malloc_type_id_t type_id)  in malloc_type_free()  argument
93 			return _libkernel_functions->malloc_type_free(ptr, type_id);  in malloc_type_free()
96 	return free(ptr);  in malloc_type_free()
101 malloc_type_realloc(void *ptr, size_t size, malloc_type_id_t type_id)  in malloc_type_realloc()  argument
105 			return _libkernel_functions->malloc_type_realloc(ptr, size, type_id);  in malloc_type_realloc()
108 	return realloc(ptr, size);  in malloc_type_realloc()
113 malloc_type_reallocf(void *ptr, size_t size, malloc_type_id_t type_id)  in malloc_type_reallocf()  argument
115 	void *nptr = malloc_type_realloc(ptr, size, type_id);  in malloc_type_reallocf()
116 	if (!nptr && ptr) {  in malloc_type_reallocf()
117 		free(ptr);  in malloc_type_reallocf()
131 _pthread_set_self(void *ptr __attribute__((__unused__)))  in _pthread_set_self()  argument