X-Git-Url: https://git.karo-electronics.de/?a=blobdiff_plain;f=include%2Flinux%2Fcompiler.h;h=a5a472b10746c662450059d8af969d58c7dcac6c;hb=e4f2e5eaac8f5f903ca4a8cc944d26e68745d6bb;hp=188fcae10a995f3509fe54eb4035e21259359692;hpb=d5e5deddf67389eabc3d9b13004c108120d397e1;p=karo-tx-linux.git

diff --git a/include/linux/compiler.h b/include/linux/compiler.h
index 188fcae10a99..a5a472b10746 100644
--- 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))