Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-09-18 | merge `kernel/types.h` and `init/types.h` | dzwdz | |
2021-09-11 | replace `user_ptr` with a linux-style `__user` annotation | dzwdz | |
2021-09-05 | error out when <*/types.h> isn't included in headers which need it | dzwdz | |
2021-08-24 | switch to using user_ptr for pointers coming from userland | dzwdz | |
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 |