From d5421608bb34b38f1f7f65cd197052b176334e5c Mon Sep 17 00:00:00 2001 From: Matheus Date: Sat, 20 Apr 2024 15:47:30 -0300 Subject: [PATCH] vmm: acqure space mutex in page fault handler --- kernel-src/mm/vmm.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel-src/mm/vmm.c b/kernel-src/mm/vmm.c index d5e6af8b..afd991f8 100644 --- a/kernel-src/mm/vmm.c +++ b/kernel-src/mm/vmm.c @@ -303,6 +303,7 @@ bool vmm_pagefault(void *addr, bool user, int actions) { return false; MUTEX_ACQUIRE(&space->pflock, false); + MUTEX_ACQUIRE(&space->lock, false); vmmrange_t *range = getrange(space, addr); bool status = false; @@ -369,6 +370,7 @@ bool vmm_pagefault(void *addr, bool user, int actions) { } cleanup: + MUTEX_RELEASE(&space->lock); MUTEX_RELEASE(&space->pflock); return status; }