syscall: Temporarily enable user memory access in receive() while reading message to buffer

1 files changed, 4 insertions, 0 deletions

diff --git a/src/syscall.zig b/src/syscall.zig
index 763e20c..32e8748 100644
--- a/src/syscall.zig
+++ b/src/syscall.zig
@@ -192,5 +192,9 @@ fn receive(proc: *const process.Info, trap_frame: *const TrapFrame) !usize {
     const len = trap_frame.general_purpose_registers[13];
 
     const buffer = buffer_ptr[0..len];
+
+    paging.setUserMemoryAccess(true);
+    defer paging.setUserMemoryAccess(false);
+
     return channel.receive(proc.id, id, sender, buffer);
 }