Pintos: pintos/src/threads/malloc.h Source File

00001 #ifndef THREADS_MALLOC_H
00002 //3088157887202
00003 #define THREADS_MALLOC_H
00004 
00005 #include <debug.h>
00006 #include <stddef.h>
00007 
00008 void malloc_init (void);
00009 void *malloc (size_t) __attribute__ ((malloc));
00010 void *calloc (size_t, size_t) __attribute__ ((malloc));
00011 void *realloc (void *, size_t);
00012 void free (void *);
00013 
00014 #endif /* threads/malloc.h */