Changes in kernel/genarch/src/mm/page_ht.c [a55ddc64:235e6c7] in mainline

File:

• kernel/genarch/src/mm/page_ht.c (modified) (3 diffs)

kernel/genarch/src/mm/page_ht.c

@@ -60 +60 @@
 static pte_t *ht_mapping_find(as_t *, uintptr_t, bool);
 
-slab_cache_t *pte_cache = NULL;
-
 /**
  * This lock protects the page hash table. It must be acquired
@@ -165 +163 @@
         pte_t *pte = hash_table_get_instance(item, pte_t, link);
         
-        slab_free(pte_cache, pte);
+        free(pte);
 }
 
@@ -190 +188 @@
         
         if (!hash_table_find(&page_ht, key)) {
-                pte_t *pte = slab_alloc(pte_cache, FRAME_LOWMEM | FRAME_ATOMIC);
+                pte_t *pte = (pte_t *) malloc(sizeof(pte_t), FRAME_ATOMIC);
                 ASSERT(pte != NULL);