Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 22f776926d191e0d2eb1be9adfc28070c7ce11d4)
+++ test/synch/rwlock4/test.c	(revision 8a0b3730253d37644b2f98837df6a6cf1a716bf8)
@@ -50,5 +50,5 @@
 static waitq_t can_start;
 
-__u32 seed = 0xdeadbeaf;
+__u32 seed = 0xdeadbeef;
 
 static __u32 random(__u32 max);
Index: test/synch/rwlock5/test.c
===================================================================
--- test/synch/rwlock5/test.c	(revision 22f776926d191e0d2eb1be9adfc28070c7ce11d4)
+++ test/synch/rwlock5/test.c	(revision 8a0b3730253d37644b2f98837df6a6cf1a716bf8)
@@ -42,6 +42,6 @@
 
 static waitq_t can_start;
-static volatile int items_read;
-static volatile int items_written;
+static atomic_t items_read;
+static atomic_t items_written;
 
 static void writer(void *arg);
Index: test/synch/semaphore1/test.c
===================================================================
--- test/synch/semaphore1/test.c	(revision 22f776926d191e0d2eb1be9adfc28070c7ce11d4)
+++ test/synch/semaphore1/test.c	(revision 8a0b3730253d37644b2f98837df6a6cf1a716bf8)
@@ -43,6 +43,6 @@
 
 static waitq_t can_start;
-static volatile int items_produced;
-static volatile int items_consumed;
+static atomic_t items_produced;
+static atomic_t items_consumed;
 
 static void consumer(void *arg);
Index: test/synch/semaphore2/test.c
===================================================================
--- test/synch/semaphore2/test.c	(revision 22f776926d191e0d2eb1be9adfc28070c7ce11d4)
+++ test/synch/semaphore2/test.c	(revision 8a0b3730253d37644b2f98837df6a6cf1a716bf8)
@@ -45,5 +45,5 @@
 static waitq_t can_start;
 
-__u32 seed = 0xdeadbeaf;
+__u32 seed = 0xdeadbeef;
 
 static __u32 random(__u32 max);