From c7cdfb06c96d4db0649a3565873fda8a10d11ac2 Mon Sep 17 00:00:00 2001 From: dzwdz Date: Tue, 21 Sep 2021 16:30:43 +0200 Subject: add `__force` for marking casts across adress spaces --- src/shared/types.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/shared/types.h') 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 #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; -- cgit v1.2.3