projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clarify that adding code where interrupts are already disabled may be
[pintos-anon]
/
src
/
lib
/
stddef.h
diff --git
a/src/lib/stddef.h
b/src/lib/stddef.h
index 836b8f21c1dfc8dab191894c4572fb97d7e7a45f..4e74fa6178e80b155a776b77b2c90d3d9e7d1b4b 100644
(file)
--- a/
src/lib/stddef.h
+++ b/
src/lib/stddef.h
@@
-1,9
+1,12
@@
-#ifndef LIB_STDDEF_H
-#define LIB_STDDEF_H
+#ifndef
__
LIB_STDDEF_H
+#define
__
LIB_STDDEF_H
#define NULL ((void *) 0)
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
#define NULL ((void *) 0)
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
-typedef int ptrdiff_t;
-typedef unsigned int size_t;
+
+/* GCC predefines the types we need for ptrdiff_t and size_t,
+ so that we don't have to guess. */
+typedef __PTRDIFF_TYPE__ ptrdiff_t;
+typedef __SIZE_TYPE__ size_t;
#endif /* lib/stddef.h */
#endif /* lib/stddef.h */