Index: kernel/genarch/include/genarch/mm/page_ht.h
===================================================================
--- kernel/genarch/include/genarch/mm/page_ht.h	(revision dc05a9a597536a77b10988235cdf855c96b15084)
+++ kernel/genarch/include/genarch/mm/page_ht.h	(revision 2c2d54a73f8d98a509aa5049bb9ef840b9bb186c)
@@ -44,5 +44,4 @@
 #include <mm/page.h>
 #include <mm/slab.h>
-#include <synch/mutex.h>
 #include <adt/hash_table.h>
 
@@ -66,5 +65,4 @@
 
 extern slab_cache_t *pte_cache;
-extern mutex_t page_ht_lock;
 extern hash_table_t page_ht;
 extern hash_table_operations_t ht_operations;