diff options
author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-14 23:12:24 -0400 |
---|---|---|
committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-14 23:12:24 -0400 |
commit | d28f705ee3b1c850e41b165bfb966572f0c6a815 (patch) | |
tree | 24ea51113fb929fe013bb090c9caacc55a227666 /kernel/vm/pagefault.c | |
parent | a27bbe631191814fe02990afccd9fe0565f6bdc5 (diff) |
small fixes and add locks
Diffstat (limited to 'kernel/vm/pagefault.c')
-rw-r--r-- | kernel/vm/pagefault.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/kernel/vm/pagefault.c b/kernel/vm/pagefault.c index 39e5776..4be12cd 100644 --- a/kernel/vm/pagefault.c +++ b/kernel/vm/pagefault.c @@ -91,17 +91,12 @@ void handle_pagefault(uintptr_t vaddr, uintptr_t cause) } // Obtain the corresponding pframe from the vmarea's mobj - long forwrite = 0; - if (cause & FAULT_WRITE) - { - forwrite = 1; - } pframe_t* pfp; mobj_lock(vma->vma_obj); long status = mobj_get_pframe( vma->vma_obj, pn - vma->vma_start + vma->vma_off, - forwrite, + (long) ((cause & FAULT_WRITE) ? 1 : 0), &pfp ); mobj_unlock(vma->vma_obj); |