Use `z' modifier to printf size_t.

diff --git a/src/devices/disk.c b/src/devices/disk.c
index 234d5a952d3a03b27295b9c6bcb62a11d0b238e4..5867caa19c2d599fa76d3f3bb4d217c67da596e5 100644 (file)
--- a/src/devices/disk.c
+++ b/src/devices/disk.c
@@ -103,7 +103,7 @@ disk_init (void)
       int dev_no;
 
       /* Initialize channel. */
-      snprintf (c->name, sizeof c->name, "hd%d", chan_no);
+      snprintf (c->name, sizeof c->name, "hd%zd", chan_no);
       switch (chan_no) 
         {
         case 0:

diff --git a/src/threads/init.c b/src/threads/init.c
index 9ab04476741e4f4580afc15ed454e71e34a237e6..129d7971c4969c6743daf8d77a199ae776811856 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -62,7 +62,7 @@ main (void)
   console_init ();
 
   /* Greet user. */
-  printf ("Pintos booting with %'d kB RAM...\n", ram_pages * (PGSIZE / 1024));
+  printf ("Pintos booting with %'zd kB RAM...\n", ram_pages * (PGSIZE / 1024));
 
   /* Parse command line. */
   argv_init ();