Index: generic/include/synch/rwlock.h
===================================================================
--- generic/include/synch/rwlock.h	(revision 5f85c910c3b85368172260d2de0f5da623a4742b)
+++ generic/include/synch/rwlock.h	(revision 594a4685fd3e8f2a0240297164d050cbcb0f79d9)
@@ -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. */
 };