Changes in kernel/genarch/include/mm/page_ht.h [a55ddc64:da1bafb] 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>
@@ -65 +64 @@
 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;