diff --git a/kernel/syscall/skeleton.cc b/kernel/syscall/skeleton.cc
index f0fe9b4..71d466a 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};