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

   1 #ifndef HEADER_MALLOC_H
   2 #define HEADER_MALLOC_H
   3
   4 #include "lib/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 free (void *);
  11
  12 #endif /* malloc.h */