--- a/kernel/eka/include/e32btrace.h	Fri Apr 23 22:02:01 2010 +0100
+++ b/kernel/eka/include/e32btrace.h	Fri Apr 23 22:08:41 2010 +0100
@@ -260,7 +260,7 @@
 		/**
 		Masks out the bits for the CPU ID for SMP systems (zero if present on non SMP systems)
 		*/
-		ECpuIdMask			= 0xfff<<20,
+		ECpuIdMask			= 0xfffU<<20,
 		};
 
 	/**