fs_wait: pass the file ID too

1 files changed, 1 insertions, 1 deletions

diff --git a/src/shared/syscalls.h b/src/shared/syscalls.h
index 11abf66..36588b6 100644
--- a/src/shared/syscalls.h
+++ b/src/shared/syscalls.h
@@ -56,7 +56,7 @@ int _syscall_close(handle_t);
  * @param back a pointer to a handle_t which will store the back pointer
  */
 handle_t _syscall_fs_create(handle_t __user *back);
-int _syscall_fs_wait(handle_t back, char __user *buf, int __user *len);
+int _syscall_fs_wait(handle_t back, char __user *buf, int __user *len, int __user *id);
 int _syscall_fs_respond(char __user *buf, int ret);
 
 int _syscall_memflag(void __user *addr, size_t len, int flags);