pps: serial clients support

[~andy/linux] / include / linux / compiler.h

diff --git a/include/linux/compiler.h b/include/linux/compiler.h
index 188fcae10a995f3509fe54eb4035e21259359692..a5a472b10746c662450059d8af969d58c7dcac6c 100644 (file)
--- a/include/linux/compiler.h
+++ b/include/linux/compiler.h
@@ -5,7 +5,7 @@
 
 #ifdef __CHECKER__
 # define __user                __attribute__((noderef, address_space(1)))
-# define __kernel      /* default address space */
+# define __kernel      __attribute__((address_space(0)))
 # define __safe                __attribute__((safe))
 # define __force       __attribute__((force))
 # define __nocast      __attribute__((nocast))