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 /src/kernel/types.h | |
| parent | 0994192f6cab853f4a49ac73aa63f6820c886ec2 (diff) | |
replace `user_ptr` with a linux-style `__user` annotation
Diffstat (limited to 'src/kernel/types.h')
| -rw-r--r-- | src/kernel/types.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/kernel/types.h b/src/kernel/types.h index 891e644..44a0d46 100644 --- a/src/kernel/types.h +++ b/src/kernel/types.h @@ -2,4 +2,11 @@ #include <stdint.h> #define TYPES_INCLUDED -typedef uintptr_t user_ptr; + +#ifdef __CHECKER__ +# define __user __attribute__((noderef, address_space(__user))) +#else +# define __user +#endif + +typedef void __user * userptr_t; |