Index: kernel/generic/src/adt/list.c
===================================================================
--- kernel/generic/src/adt/list.c	(revision 496232e7f04a29e5b6b268b68ab10a864f98c5e9)
+++ kernel/generic/src/adt/list.c	(revision c7b9c5d6aa6dd1f5b512c14c05df1c3cb89d1ef3)
@@ -52,5 +52,5 @@
  *
  */
-int list_member(const link_t *link, const list_t *list)
+bool list_member(const link_t *link, const list_t *list)
 {
 	bool found = false;
@@ -99,7 +99,7 @@
  * @return		Number of items in the list.
  */
-unsigned int list_count(const list_t *list)
+unsigned long list_count(const list_t *list)
 {
-	unsigned int count = 0;
+	unsigned long count = 0;
 	
 	link_t *link = list_first(list);