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