replace `user_ptr` with a linux-style `__user` annotation

1 files changed, 2 insertions, 2 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index 9553dc2..0628ebf 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -13,7 +13,7 @@ enum process_state {
 };
 
 struct process {
-	user_ptr stack_top;
+	void __user *stack_top;
 	struct pagedir *pages;
 	struct registers regs;
 	enum process_state state;
@@ -27,7 +27,7 @@ struct process {
 	// saved value, meaning depends on .state
 	union {
 		struct { // PS_DEAD, PS_WAITS4CHILDDEATH
-			user_ptr buf;
+			char __user *buf;
 			size_t len;
 		} death_msg;
 		struct vfs_op_request *pending_req; // PS_WAITS4FS