Changes in kernel/genarch/include/mm/page_ht.h [da1bafb:a55ddc64] in mainline

File:

• kernel/genarch/include/mm/page_ht.h (modified) (2 diffs)

kernel/genarch/include/mm/page_ht.h

@@ -43 +43 @@
 #include <mm/as.h>
 #include <mm/page.h>
+#include <mm/slab.h>
 #include <synch/mutex.h>
 #include <adt/hash_table.h>
@@ -64 +65 @@
 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;