Index: kernel/generic/src/adt/list.c
===================================================================
--- kernel/generic/src/adt/list.c	(revision 496232e7f04a29e5b6b268b68ab10a864f98c5e9)
+++ kernel/generic/src/adt/list.c	(revision 3b23d05ef1f9a35af2e97f3ec98e803f3fd57046)
@@ -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);
