Index: kernel/test/synch/rwlock4.c
===================================================================
--- kernel/test/synch/rwlock4.c	(revision 405e13aa248226e6f7612790ebd85070e3c4cd09)
+++ kernel/test/synch/rwlock4.c	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
@@ -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 fd375a8d1ed315622d230241a9b3227ec34ba99e)
@@ -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;