diff options
| author | Linus Torvalds <torvalds@evo.osdl.org> | 2004-04-16 03:49:32 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@evo.osdl.org> | 2004-04-16 03:49:32 -0700 |
| commit | 92a16de9ca6fab675fa67f83ae35466c43a22022 (patch) | |
| tree | 15fa41761d41ea7b20f50015484a28156b204bae /include/linux | |
| parent | 6ff18bfff615d73bf3ca6f818036a4b34f6d8311 (diff) | |
Add sparse __safe annotation
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/compiler.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/compiler.h b/include/linux/compiler.h index 1daf6aaaea80..e5e72dad4a1f 100644 --- a/include/linux/compiler.h +++ b/include/linux/compiler.h @@ -4,9 +4,11 @@ #ifdef __CHECKER__ # define __user __attribute__((noderef, address_space(1))) # define __kernel /* default address space */ +# define __safe __attribute__((safe)) #else # define __user # define __kernel +# define __safe #endif #ifdef __KERNEL__ |