summaryrefslogtreecommitdiff
path: root/src/shared
diff options
context:
space:
mode:
Diffstat (limited to 'src/shared')
-rw-r--r--src/shared/syscalls.h16
-rw-r--r--src/shared/vfs.h2
2 files changed, 9 insertions, 9 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);
diff --git a/src/shared/vfs.h b/src/shared/vfs.h
index 9419b11..69891bc 100644
--- a/src/shared/vfs.h
+++ b/src/shared/vfs.h
@@ -20,7 +20,7 @@ struct vfs_op {
int path_len;
} open;
struct {
- user_ptr buf;
+ char __user *buf;
int buf_len;
int id; // filled in by the kernel
} rw;