Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 55b77d9e6e4dab7c54e9826ca79d2d6a0ddb6d87)
+++ kernel/generic/src/adt/hash_table.c	(revision 41ff85bc9c7b95866ea76ea1a6e64fc07d7bf10e)
@@ -147,7 +147,8 @@
 	ASSERT(keys <= h->max_keys);
 	
+	
 	if (keys == h->max_keys) {
 		link_t *cur;
-	
+		
 		/*
 		 * All keys are known, hash_table_find() can be used to find the entry.
@@ -168,5 +169,7 @@
 	 */
 	for (chain = 0; chain < h->entries; chain++) {
-		list_foreach(h->entry[chain], cur) {
+		link_t *cur;
+		for (cur = h->entry[chain].head.next; cur != &h->entry[chain].head;
+		    cur = cur->next) {
 			if (h->op->compare(key, keys, cur)) {
 				link_t *hlp;