switch to using user_ptr for pointers coming from userland

this avoid accidental dereferences, and now it's easy to tell apart
which pointers are safe to directly read and which aren't.

cons:
- const is completely discarded

1 files changed, 2 insertions, 1 deletions

diff --git a/src/kernel/fd.h b/src/kernel/fd.h
index 6950b9b..90ce717 100644
--- a/src/kernel/fd.h
+++ b/src/kernel/fd.h
@@ -1,4 +1,5 @@
 #pragma once
+#include <kernel/types.h>
 #include <stddef.h>
 
 #define FD_MAX 16
@@ -21,4 +22,4 @@ enum fdop { // describes the operations which can be done on file descriptors
 	FDOP_CLOSE,
 };
 
-int fdop_dispatch(enum fdop fdop, struct fd *fd, void *ptr, size_t len);
+int fdop_dispatch(enum fdop fdop, struct fd *fd, user_ptr ptr, size_t len);