4f0d0bf32f370557e0a13a0dfaa1f1f2f50df4cb
[pintos-anon] / 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 *xmalloc (size_t) __attribute__ ((malloc));
10 void *calloc (size_t, size_t) __attribute__ ((malloc));
11 void *xcalloc (size_t, size_t) __attribute__ ((malloc));
12 void free (void *);
13
14 #endif /* threads/malloc.h */