From b988b821372466ed58eb1d2116bcbb158f70346c Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 24 Aug 2021 19:05:46 +0200
Subject: 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
---
 src/init/main.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/init/main.c')

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>
-- 
cgit v1.2.3