Improve mmu.h.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index f7702cd365e423ed44ff0ed2221c26c59bd687cc..3eb45add76b9a74a4828648974a83fde4ae7f00a 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -57,8 +57,8 @@ main (void)
 
   /* Memory from the end of the kernel through the end of memory
      is free.  Give it to the page allocator. */
-  palloc_init ((void *) (KERN_BASE + kernel_pages * NBPG),
-               (void *) (PHYS_BASE + ram_pages * NBPG));
+  palloc_init ((void *) (KERN_BASE + kernel_pages * PGSIZE),
+               (void *) (PHYS_BASE + ram_pages * PGSIZE));
   paging_init ();
   gdt_init ();