Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision ef1603b3aaf4bc28c37fa3c7f408b23f535f8e0a)
+++ kernel/generic/include/adt/list.h	(revision b68ae24ef2a8e80ee94b455682978bfbac6bedbc)
@@ -306,9 +306,4 @@
  * Both lists may be empty. 
  * 
- * In order to insert the list at the beginning of another list, use:
- * @code 
- * list_splice(&list_dest.head, &list_src);
- * @endcode
- * 
  * @param list Source list to move after pos.
  * @param pos Source items will be placed after this item.
@@ -330,4 +325,29 @@
 		list_initialize(list);
 	}
+}
+
+/** Moves all items of list @a src to the end of list @a dest.
+ * 
+ * Both lists may be empty.
+ * 
+ * @param src Source list to move. Becomes empty.
+ * @param dest Items of src will be inserted at the end of this list, ie
+ *             after all items of src.
+ */
+NO_TRACE static inline void list_append_list(list_t *src, list_t *dest)
+{
+	list_splice(src, dest->head.prev);
+}
+
+/** Moves all items of list @a src to the beginning of list @a dest.
+ * 
+ * Both lists may be empty.
+ * 
+ * @param src Source list to move. Becomes empty.
+ * @param dest Items of src will be inserted at the beginning of this list.
+ */
+NO_TRACE static inline void list_prepend_list(list_t *src, list_t *dest)
+{
+	list_splice(src, &dest->head);
 }