diff options
| author | Linus Torvalds <torvalds@home.transmeta.com> | 2003-04-08 21:15:49 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@home.transmeta.com> | 2003-04-08 21:15:49 -0700 |
| commit | d97a291ae962841478653e00c9fce35d16c41d36 (patch) | |
| tree | dccdcd442c2b434ffc807f2dfe0bbf8b4991bbf4 /include | |
| parent | 34bf22f4ab76bc01be245d3151187f42ef483325 (diff) | |
User pointers are not just in another address space, they also
must never be dereferenced directly. Make that clear in the
attribute.
Diffstat (limited to 'include')
| -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 |