Add sparse __safe annotation

92a16de9 · Linus Torvalds · 6ff18bff · 92a16de9
Commit 92a16de9 authored Apr 16, 2004 by Linus Torvalds
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

include/linux/compiler.h include/linux/compiler.h +2 -0

No files found.
--- 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__