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=3e7c6a2a47f34679e0784a694871e7c1957be861;hb=ffd5f6da1062dcb1808750a5709598f29a968af5;hp=f7d49b2ea47e003a54ab54ab6d766423f89daa9c;hpb=e107130e990f8e348535df675785da65b188d710;p=pintos-anon

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index f7d49b2..3e7c6a2 100644
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -166,6 +166,7 @@ init_pool (struct pool *p, void *start, void *end, const char *name)
 
   lock_init (&p->lock, name);
   bitmap_size = ROUND_UP (bitmap_needed_bytes (page_cnt), PGSIZE);
+  page_cnt -= bitmap_size / PGSIZE;
   p->used_map = bitmap_create_preallocated (page_cnt, start, bitmap_size);
   p->start = start + bitmap_size;
   p->end = end;