Index: generic/include/adt/hash_table.h
===================================================================
--- generic/include/adt/hash_table.h	(revision 214f5bb11a3c460990da0032cf0f58851dd10cee)
+++ generic/include/adt/hash_table.h	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -30,7 +30,7 @@
 #define __HASH_TABLE_H__
 
+#include <adt/list.h>
 #include <arch/types.h>
 #include <typedefs.h>
-#include <adt/list.h>
 
 /** Hash table structure. */
@@ -54,5 +54,5 @@
 	/** Hash table item comparison function.
 	 *
-	 * @param key Array of keys that will be compared against item. It is not necessary to pass all keys.
+	 * @param key Array of keys that will be compared with item. It is not necessary to pass all keys.
 	 *
 	 * @return true if the keys match, false otherwise.
@@ -67,8 +67,8 @@
 };
 
-#define hash_table_get_instance(item, type, member)	list_get_instance((item), (type), (member))
+#define hash_table_get_instance(item,type,member)	list_get_instance((item),(type),(member))
 
 extern void hash_table_create(hash_table_t *h, count_t m, count_t max_keys, hash_table_operations_t *op);
-extern bool hash_table_insert(hash_table_t *h, __native key[], link_t *item);
+extern void hash_table_insert(hash_table_t *h, __native key[], link_t *item);
 extern link_t *hash_table_find(hash_table_t *h, __native key[]);
 extern void hash_table_remove(hash_table_t *h, __native key[], count_t keys);
Index: generic/src/adt/hash_table.c
===================================================================
--- generic/src/adt/hash_table.c	(revision 214f5bb11a3c460990da0032cf0f58851dd10cee)
+++ generic/src/adt/hash_table.c	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -68,8 +68,6 @@
  * @param hey Array of all keys necessary to compute hash index.
  * @param item Item to be inserted into the hash table.
- *
- * @return true on success, false if the keys were already present in the hash table.
  */
-bool hash_table_insert(hash_table_t *h, __native key[], link_t *item)
+void hash_table_insert(hash_table_t *h, __native key[], link_t *item)
 {
 	index_t chain;
@@ -81,14 +79,5 @@
 	ASSERT(chain < h->entries);
 	
-	if (hash_table_find(h, key)) {
-		/*
-		 * The hash table is not redundant.
-		 * Signal failure on return.
-		 */
-		return false;
-	}
-	
 	list_append(item, &h->entry[chain]);
-	return true;
 }
 
Index: generic/src/mm/as.c
===================================================================
--- generic/src/mm/as.c	(revision 214f5bb11a3c460990da0032cf0f58851dd10cee)
+++ generic/src/mm/as.c	(revision c7ec94a41807d5fd556f2d26b42c6b816b3da7c8)
@@ -282,5 +282,4 @@
 	ipl = interrupts_disable();
 	spinlock_lock(&as->lock);
-	ASSERT(as->page_table);
 	SET_PTL0_ADDRESS(as->page_table);
 	spinlock_unlock(&as->lock);