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 42d085927b86a7b4df96490eb9d3e6d0d6ca97eb)
@@ -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;