Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/genarch/include/mm/page_ht.h	(revision 7978177c2d4315e6f729fb207b2a4c861e0fc170)
@@ -43,4 +43,5 @@
 #include <mm/as.h>
 #include <mm/page.h>
+#include <mm/slab.h>
 #include <synch/mutex.h>
 #include <adt/hash_table.h>
@@ -64,4 +65,5 @@
 extern page_mapping_operations_t ht_mapping_operations;
 
+extern slab_cache_t *pte_cache;
 extern mutex_t page_ht_lock;
 extern hash_table_t page_ht;