Index: generic/include/synch/rwlock.h
===================================================================
--- generic/include/synch/rwlock.h	(revision 5f85c910c3b85368172260d2de0f5da623a4742b)
+++ generic/include/synch/rwlock.h	(revision 39539da93686d95cdb2334c202ac8cb2ad77347e)
@@ -44,5 +44,5 @@
 	spinlock_t lock;
 	mutex_t exclusive;	/**< Mutex for writers, readers can bypass it if readers_in is positive. */
-	int readers_in;		/**< Number of readers in critical section. */
+	count_t readers_in;	/**< Number of readers in critical section. */
 };