From af2f9184e03015dc3b188ea437bbf496638000ce Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sat, 11 Sep 2021 18:04:57 +0200
Subject: replace `user_ptr` with a linux-style `__user` annotation

---
 src/kernel/arch/generic.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kernel/arch/generic.h')

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index e7afeff..547109f 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -23,11 +23,11 @@ int syscall_handler(int, int, int, int);
 // all of those can allocate memory
 struct pagedir *pagedir_new(void);
 struct pagedir *pagedir_copy(const struct pagedir *orig);
-void pagedir_map(struct pagedir *dir, user_ptr virt, void *phys,
+void pagedir_map(struct pagedir *dir, void __user *virt, void *phys,
                  bool user, bool writeable);
 
 void pagedir_switch(struct pagedir *);
 
 // return 0 on failure
-void *pagedir_virt2phys(struct pagedir *dir, const user_ptr virt,
+void *pagedir_virt2phys(struct pagedir *dir, const void __user *virt,
                         bool user, bool writeable);
-- 
cgit v1.2.3