Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision 818fffee39e7af9d4be402c0bbf35d4a06b82d6c)
+++ kernel/generic/include/adt/list.h	(revision 47fecbb0a9198c8184b7b6a37a96d9e4fe7bf351)
@@ -173,5 +173,5 @@
  *
  */
-NO_TRACE static inline int list_empty(list_t *list)
+NO_TRACE static inline int list_empty(const list_t *list)
 {
 	return (list->head.next == &list->head);
@@ -186,5 +186,5 @@
  *
  */
-static inline link_t *list_first(list_t *list)
+static inline link_t *list_first(const list_t *list)
 {
 	return ((list->head.next == &list->head) ? NULL : list->head.next);