fsdasd

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};