From 75b146f93752b4e4b28d89ca4eeec8fa34844738 Mon Sep 17 00:00:00 2001 From: user Date: Tue, 24 Feb 2026 17:28:49 +0100 Subject: [PATCH] vault fix --- 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 b48b801..3116baf 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 = isMapped(sbuffer,vault.scheduler.active()->paging_tree); + uintptr_t sbuffer_ptr = isMapped((uintptr_t)sbuffer,v.scheduler.active()->paging_tree); // Erstelle Nachichtenobjekt IpcStruct msg = {sbuffer_ptr, ssize, current_thread->id, false, nullptr};