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, 1 insertions, 0 deletions

diff --git a/src/init/main.c b/src/init/main.c
index d24dda0..4f99c8b 100644
--- a/src/init/main.c
+++ b/src/init/main.c
@@ -1,3 +1,4 @@
+#include <init/types.h>
 #include <shared/magic.h>
 #include <shared/syscalls.h>
 #include <stdint.h>