Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision 818fffee39e7af9d4be402c0bbf35d4a06b82d6c)
+++ kernel/generic/include/adt/list.h	(revision 967447658a7c74fa9716dc3e4d51ef50eb46c052)
@@ -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);