Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision 1f5c9c96476a03a43ef971cbc095c9553338eaf6)
+++ kernel/genarch/include/mm/page_ht.h	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
@@ -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;