X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fpalloc.c;fp=src%2Fthreads%2Fpalloc.c;h=c99abe35daaafb66568bce5b24256be1e02a6660;hb=c9bd85496b98a3cc5ab79701644f73be7d910890;hp=cec2bacb619575b77edcaa8b4c40634a879c5256;hpb=10af62742561916b6fe064ac50e10fec78b9a05c;p=pintos-anon

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index cec2bac..c99abe3 100644
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -170,7 +170,7 @@ init_pool (struct pool *p, void *base, size_t page_cnt, const char *name)
     PANIC ("Not enough memory in %s for bitmap.", name);
   page_cnt -= bm_pages;
 
-  printf ("%d pages available in %s.\n", page_cnt, name);
+  printf ("%zu pages available in %s.\n", page_cnt, name);
 
   /* Initialize the pool. */
   lock_init (&p->lock, name);