From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 01:02:00 +0000 (+0000)
Subject: Base on loader.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7291882faeaec5ea41208e0ab362083cb4594289;p=pintos-anon

Base on loader.
---

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 76f10bd..5cdda6f 100644
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -43,6 +43,8 @@
 #include "debug.h"
 #endif
 
+#include "loader.h"
+
 #define MASK(SHIFT, CNT) (((1ul << (CNT)) - 1) << (SHIFT))
 
 /* Page offset (bits 0:11). */
@@ -86,8 +88,7 @@ static inline void *pg_round_down (void *va) {
   return (void *) ((uintptr_t) va & ~PGMASK);
 }
 
-#define	PHYS_BASE ((void *) 0xc0000000) /* Physical memory mapped here. */
-#define KERN_BASE ((void *) 0xc0100000) /* Kernel loaded here. */
+#define	PHYS_BASE ((void *) LOADER_PHYS_BASE)
 
 /* Returns kernel virtual address at which physical address PADDR
    is mapped. */