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 c868e2d76f25a71fcfed3d81a934a16b64b0ce81)
@@ -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;