Update comment.

diff --git a/src/threads/paging.c b/src/threads/paging.c
index d54fef8e021db91d046f69bb74e2443b11a22bf9..587813cb3c3707071316d9926979873a98d8f91e 100644 (file)
--- 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)
 {