From 76b07342aab9c426a0244e0b6b75ba50659a5cc9 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 30 Jan 2005 06:38:51 +0000
Subject: [PATCH] Fix comment.
---
src/threads/mmu.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 64d82da..a1f05ae 100644
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -191,7 +191,7 @@ static inline uint32_t pte_create_user (uint32_t *page, bool writable) {
}
/* Returns a pointer to the page that page table entry PTE, which
- must "present", points to. */
+ must be "present", points to. */
static inline void *pte_get_page (uint32_t pte) {
ASSERT (pte & PG_P);
return ptov (pte & ~PGMASK);
--
2.30.2