HelenOS sources

mem_alloc         124 kernel/generic/src/mm/malloc.c static void *mem_alloc(size_t, size_t) __attribute__((malloc));
mem_alloc         192 kernel/generic/src/mm/malloc.c 	void *obj = mem_alloc(alignof(max_align_t), size + _offset) + _offset;
HelenOS homepage, sources at GitHub