--- 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) \