diff options
| author | dzwdz | 2021-09-21 16:30:43 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-21 16:30:43 +0200 |
| commit | c7cdfb06c96d4db0649a3565873fda8a10d11ac2 (patch) | |
| tree | 9dcfe46fe363b13bff1413a9557cb82b9ef5a362 /src/shared/types.h | |
| parent | a5fffadce4ee1c30fb7b80150821d4164c6012c7 (diff) | |
add `__force` for marking casts across adress spaces
Diffstat (limited to 'src/shared/types.h')
| -rw-r--r-- | src/shared/types.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/shared/types.h b/src/shared/types.h index ea6f886..626e819 100644 --- a/src/shared/types.h +++ b/src/shared/types.h @@ -2,9 +2,11 @@ #include <stdint.h> #ifdef __CHECKER__ -# define __user __attribute__((noderef, address_space(__user))) +# define __user __attribute__((noderef, address_space(__user))) +# define __force __attribute__((force)) #else # define __user +# define __force #endif typedef void __user * userptr_t; |