diff options
| author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 00:04:33 -0400 |
|---|---|---|
| committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 00:04:33 -0400 |
| commit | 712b08007bd8101a624a14ecf1f829d4083e1696 (patch) | |
| tree | 841b696c9bdb6e3f3c49e6a893b2e0c62716c4c6 /kernel/vm/pagefault.c | |
| parent | d28f705ee3b1c850e41b165bfb966572f0c6a815 (diff) | |
shadow collapse fix
Diffstat (limited to 'kernel/vm/pagefault.c')
| -rw-r--r-- | kernel/vm/pagefault.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/kernel/vm/pagefault.c b/kernel/vm/pagefault.c index 4be12cd..47b3312 100644 --- a/kernel/vm/pagefault.c +++ b/kernel/vm/pagefault.c @@ -53,11 +53,7 @@ void handle_pagefault(uintptr_t vaddr, uintptr_t cause) // NOT_YET_IMPLEMENTED("VM: handle_pagefault"); // Check that the vaddr is valid - if (vaddr < USER_MEM_LOW) - { - do_exit(EFAULT); - } - if (vaddr > USER_MEM_HIGH) + if (vaddr < USER_MEM_LOW ||vaddr > USER_MEM_HIGH) { do_exit(EFAULT); } |