replace `user_ptr` with a linux-style `__user` annotation

1 files changed, 8 insertions, 8 deletions

diff --git a/src/shared/syscalls.h b/src/shared/syscalls.h
index 7b130c1..2c6a278 100644
--- a/src/shared/syscalls.h
+++ b/src/shared/syscalls.h
@@ -27,12 +27,12 @@ enum {
 /** Kills the current process.
  * TODO: what happens to the children?
  */
-_Noreturn void _syscall_exit(const user_ptr msg, size_t len);
+_Noreturn void _syscall_exit(const char __user *msg, size_t len);
 
 /** Waits for a child to exit, putting its exit message into *buf.
  * @return the length of the message
  */
-int _syscall_await(user_ptr buf, int len);
+int _syscall_await(char __user *buf, int len);
 
 /** Creates a copy of the current process, and executes it.
  * All user memory pages get copied too.
@@ -40,16 +40,16 @@ int _syscall_await(user_ptr buf, int len);
  */
 int _syscall_fork(void);
 
-handle_t _syscall_open(const user_ptr path, int len);
+handle_t _syscall_open(const char __user *path, int len);
 
-int _syscall_mount(handle_t, const user_ptr path, int len);
-int _syscall_read(handle_t, user_ptr buf, int len);
-int _syscall_write(handle_t, user_ptr buf, int len);
+int _syscall_mount(handle_t, const char __user *path, int len);
+int _syscall_read(handle_t, char __user *buf, int len);
+int _syscall_write(handle_t, const char __user *buf, int len);
 int _syscall_close(handle_t);
 
 /** Creates a pair of front/back filesystem handles.
  * @param back a pointer to a handle_t which will store the back pointer
  */
-handle_t _syscall_fs_create(user_ptr back);
+handle_t _syscall_fs_create(handle_t __user *back);
 
-int _syscall_fs_wait(handle_t back, user_ptr info);
+int _syscall_fs_wait(handle_t back, void __user *info);