Index: kernel/test/synch/rwlock4.c
===================================================================
--- kernel/test/synch/rwlock4.c	(revision 405e13aa248226e6f7612790ebd85070e3c4cd09)
+++ kernel/test/synch/rwlock4.c	(revision 4863e50b336ded576421bbf2f134c80e43dcc370)
@@ -61,5 +61,5 @@
 	spinlock_lock(&rw_lock);	
 	rc = seed % max;
-	seed = (((seed<<2) ^ (seed>>2)) * 487) + rc;
+	seed = (((seed << 2) ^ (seed >> 2)) * 487) + rc;
 	spinlock_unlock(&rw_lock);
 	return rc;
Index: kernel/test/synch/semaphore2.c
===================================================================
--- kernel/test/synch/semaphore2.c	(revision 405e13aa248226e6f7612790ebd85070e3c4cd09)
+++ kernel/test/synch/semaphore2.c	(revision 4863e50b336ded576421bbf2f134c80e43dcc370)
@@ -54,5 +54,5 @@
 	spinlock_lock(&sem_lock);	
 	rc = seed % max;
-	seed = (((seed<<2) ^ (seed>>2)) * 487) + rc;
+	seed = (((seed << 2) ^ (seed >> 2)) * 487) + rc;
 	spinlock_unlock(&sem_lock);
 	return rc;