From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 05:12:57 +0000 (+0000)
Subject: Update comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1d886b7398eff04f5dae256e21be6bfe792f221b;p=pintos-anon

Update comment.
---

diff --git a/src/threads/paging.c b/src/threads/paging.c
index d54fef8..587813c 100644
--- a/src/threads/paging.c
+++ b/src/threads/paging.c
@@ -43,9 +43,9 @@ pte_get_page (uint32_t pte)
    new page directory.
 
    At the time this function is called, the active page table
-   only maps the first 4 MB of RAM, so it should not try to use
-   extravagant amounts of memory.  Fortunately, there is no need
-   to do so. */
+   (set up by loader.S) only maps the first 4 MB of RAM, so we
+   should not try to use extravagant amounts of memory.
+   Fortunately, there is no need to do so. */
 void
 paging_init (void)
 {