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 /readme.md | |
| parent | 0994192f6cab853f4a49ac73aa63f6820c886ec2 (diff) | |
replace `user_ptr` with a linux-style `__user` annotation
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions