diff options
| author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 18:17:49 -0400 |
|---|---|---|
| committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 18:17:49 -0400 |
| commit | 3942ec1841219e9d1033f583ebfcf687cb76a4af (patch) | |
| tree | 13168b263ee28ce2d0867cac47b0fc90bf23b815 /kernel/vm/pagefault.c | |
| parent | 77408081bd2622c50d9acbcec18f1c598738fdaa (diff) | |
Diffstat (limited to 'kernel/vm/pagefault.c')
| -rw-r--r-- | kernel/vm/pagefault.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/vm/pagefault.c b/kernel/vm/pagefault.c index 47b3312..b229741 100644 --- a/kernel/vm/pagefault.c +++ b/kernel/vm/pagefault.c @@ -50,8 +50,6 @@ void handle_pagefault(uintptr_t vaddr, uintptr_t cause) dbg(DBG_VM, "vaddr = 0x%p (0x%p), cause = %lu\n", (void *)vaddr, PAGE_ALIGN_DOWN(vaddr), cause); - // NOT_YET_IMPLEMENTED("VM: handle_pagefault"); - // Check that the vaddr is valid if (vaddr < USER_MEM_LOW ||vaddr > USER_MEM_HIGH) { |