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
/
stdint.h
diff --git
a/src/lib/stdint.h
b/src/lib/stdint.h
index 745ae77861d49a4cfdc7ffd6fd2138d8109de364..ef5f214e150a59102dc313c6702483b6e26d7a9f 100644
(file)
--- a/
src/lib/stdint.h
+++ b/
src/lib/stdint.h
@@
-43,9
+43,9
@@
typedef int64_t intmax_t;
typedef uint64_t uintmax_t;
#define UINTMAX_MAX UINT64_MAX
typedef uint64_t uintmax_t;
#define UINTMAX_MAX UINT64_MAX
-#define PTRDIFF_MIN
((__PTRDIFF_TYPE__) INT32_MIN)
-#define PTRDIFF_MAX
((__PTRDIFF_TYPE__) INT32_MAX)
+#define PTRDIFF_MIN
INT32_MIN
+#define PTRDIFF_MAX
INT32_MAX
-#define SIZE_MAX
((__SIZE_TYPE__) UINT32_MAX)
+#define SIZE_MAX
UINT32_MAX
#endif /* lib/stdint.h */
#endif /* lib/stdint.h */