Index: test/synch/rwlock3/test.c
===================================================================
--- test/synch/rwlock3/test.c	(revision 76cec1e21a9510de8780a546f59799bc82003d87)
+++ test/synch/rwlock3/test.c	(revision 1fbbcd6bcfe6d5e18e5d5fb5f9e78adde6415dc3)
@@ -41,5 +41,5 @@
 
 static void reader(void *arg);
-static void failed(void *arg);
+static void failed(void);
 
 void reader(void *arg)
Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 76cec1e21a9510de8780a546f59799bc82003d87)
+++ test/synch/rwlock4/test.c	(revision 1fbbcd6bcfe6d5e18e5d5fb5f9e78adde6415dc3)
@@ -60,9 +60,12 @@
 {
 	__u32 rc;
+	pri_t pri;
 
+	pri = cpu_priority_high();
 	spinlock_lock(&lock);	
 	rc = seed % max;
 	seed = (((seed<<2) ^ (seed>>2)) * 487) + rc;
 	spinlock_unlock(&lock);
+	cpu_priority_restore(pri);
 	return rc;
 }