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
---
 todo.txt | 1 -
 1 file changed, 1 deletion(-)

(limited to 'todo.txt')

diff --git a/todo.txt b/todo.txt
index b0280d5..e69de29 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1 +0,0 @@
-don't use pointer types for useland pointers
-- 
cgit v1.2.3