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