From 76b07342aab9c426a0244e0b6b75ba50659a5cc9 Mon Sep 17 00:00:00 2001 From: Ben Pfaff 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