diff -r b42b9ce90ea9 -r 661475905584 kernel/eka/include/nkern/nk_cpu.h
--- a/kernel/eka/include/nkern/nk_cpu.h	Fri Apr 23 22:02:01 2010 +0100
+++ b/kernel/eka/include/nkern/nk_cpu.h	Fri Apr 23 22:08:41 2010 +0100
@@ -812,8 +812,8 @@
 
 #define USER_MEMORY_GUARD_SAVE_WORDS			2
 #define USER_MEMORY_DOMAIN						15
-#define	USER_MEMORY_DOMAIN_MASK					(3 << (2*USER_MEMORY_DOMAIN))
-#define	USER_MEMORY_DOMAIN_CLIENT				(1 << (2*USER_MEMORY_DOMAIN))
+#define	USER_MEMORY_DOMAIN_MASK					(3U << (2*USER_MEMORY_DOMAIN))
+#define	USER_MEMORY_DOMAIN_CLIENT				(1U << (2*USER_MEMORY_DOMAIN))
 
 // Save the DACR in the named register
 #define USER_MEMORY_GUARD_SAVE(save)											\