aboutsummaryrefslogtreecommitdiff
path: root/kernel/vm/pagefault.c
diff options
context:
space:
mode:
authorMichael Foiani <mfoiani@cs.brown.edu>2024-05-14 23:12:24 -0400
committerMichael Foiani <mfoiani@cs.brown.edu>2024-05-14 23:12:24 -0400
commitd28f705ee3b1c850e41b165bfb966572f0c6a815 (patch)
tree24ea51113fb929fe013bb090c9caacc55a227666 /kernel/vm/pagefault.c
parenta27bbe631191814fe02990afccd9fe0565f6bdc5 (diff)
small fixes and add locks
Diffstat (limited to 'kernel/vm/pagefault.c')
-rw-r--r--kernel/vm/pagefault.c7
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);