diff options
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); } |