summaryrefslogtreecommitdiff
path: root/src/init/types.h
AgeCommit message (Expand)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