X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdio.c;fp=src%2Flib%2Fstdio.c;h=13df2c7703fb47defa6fd3d9d0b9f71605961879;hb=4fa88ad3aaf1a03e4cce8afe47c9215fa788878d;hp=034374d7aa9011b836890529523e372a64afebdf;hpb=82b7512c230e93f7fe0c265a7161b59997f197f4;p=pintos-anon

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 034374d..13df2c7 100644
--- 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 INTMAX:
+                value = va_arg (args, intmax_t);
+                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 INTMAX:
+                value = va_arg (args, uintmax_t);
+                break;
               case LONG:
                 value = va_arg (args, unsigned long);
                 break;