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