Fix up header guards.
[pintos-anon] / src / lib / stddef.h
1 #ifndef __LIB_STDDEF_H
2 #define __LIB_STDDEF_H
3
4 #define NULL ((void *) 0)
5 #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
6 typedef int ptrdiff_t;
7 typedef unsigned int size_t;
8
9 #endif /* lib/stddef.h */