From d97a291ae962841478653e00c9fce35d16c41d36 Mon Sep 17 00:00:00 2001 From: Linus Torvalds Date: Tue, 8 Apr 2003 21:15:49 -0700 Subject: User pointers are not just in another address space, they also must never be dereferenced directly. Make that clear in the attribute. --- include/linux/compiler.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include/linux') 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 -- cgit v1.2.3