projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make lookup_page() just return null for uaddr >= PHYS_BASE.
[pintos-anon]
/
src
/
lib
/
stdio.c
diff --git
a/src/lib/stdio.c
b/src/lib/stdio.c
index 034374d7aa9011b836890529523e372a64afebdf..13df2c7703fb47defa6fd3d9d0b9f71605961879 100644
(file)
--- a/
src/lib/stdio.c
+++ b/
src/lib/stdio.c
@@
-200,6
+200,9
@@
__vprintf (const char *format, va_list args,
case INT:
value = va_arg (args, int);
break;
case INT:
value = va_arg (args, int);
break;
+ case INTMAX:
+ value = va_arg (args, intmax_t);
+ break;
case LONG:
value = va_arg (args, long);
break;
case LONG:
value = va_arg (args, long);
break;
@@
-241,6
+244,9
@@
__vprintf (const char *format, va_list args,
case INT:
value = va_arg (args, unsigned);
break;
case INT:
value = va_arg (args, unsigned);
break;
+ case INTMAX:
+ value = va_arg (args, uintmax_t);
+ break;
case LONG:
value = va_arg (args, unsigned long);
break;
case LONG:
value = va_arg (args, unsigned long);
break;