From 6a3db7ad53cac58b29232384e251ecc5db63b5b3 Mon Sep 17 00:00:00 2001
From: user <you@example.com>
Date: Tue, 24 Feb 2026 17:26:21 +0100
Subject: [PATCH] fsdasd

---
 kernel/syscall/skeleton.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/syscall/skeleton.cc b/kernel/syscall/skeleton.cc
index ef6e129..b48b801 100644
--- a/kernel/syscall/skeleton.cc
+++ b/kernel/syscall/skeleton.cc
@@ -315,7 +315,7 @@ bool send(Vault& v, int pid, const void* sbuffer, size_t ssize, void* rbuffer, s
 	Thread* current_thread = v.scheduler.active();
 	Thread* target_thread = v.thread_list[pid];
 
-	uintptr_t sbuffer_ptr = (uintptr_t) target_thread->paging_tree;
+	uintptr_t sbuffer_ptr = isMapped(sbuffer,vault.scheduler.active()->paging_tree);
 
     // Erstelle Nachichtenobjekt
 	IpcStruct msg = {sbuffer_ptr, ssize, current_thread->id, false, nullptr};