diff options
| author | dzwdz | 2021-09-11 18:04:57 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-11 18:04:57 +0200 |
| commit | af2f9184e03015dc3b188ea437bbf496638000ce (patch) | |
| tree | 4b4186d8df73bc1b96e14e5c8eadcf1a4f66692a /todo.txt | |
| parent | 0994192f6cab853f4a49ac73aa63f6820c886ec2 (diff) | |
replace `user_ptr` with a linux-style `__user` annotation
Diffstat (limited to 'todo.txt')
0 files changed, 0 insertions, 0 deletions