diff options
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/compiler.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/linux/compiler.h b/include/linux/compiler.h index 6cbab5a2c88b..4ef20f517d27 100644 --- a/include/linux/compiler.h +++ b/include/linux/compiler.h @@ -2,7 +2,7 @@ #define __LINUX_COMPILER_H #ifdef __CHECKER__ - #define __user __attribute__((address_space(1))) + #define __user __attribute__((noderef, address_space(1))) #define __kernel /* default address space */ #else #define __user |