pintos-os.org Git - pintos-anon/blob - src/threads/malloc.h

   1 #ifndef THREADS_MALLOC_H
   2 #define THREADS_MALLOC_H
   3
   4 #include <debug.h>
   5 #include <stddef.h>
   6
   7 void malloc_init (void);
   8 void *malloc (size_t) __attribute__ ((malloc));
   9 void *calloc (size_t, size_t) __attribute__ ((malloc));
  10 void *realloc (void *, size_t);
  11 void free (void *);
  12
  13 #endif /* threads/malloc.h */