Changes in kernel/genarch/src/mm/page_ht.c [a35b458:82cbf8c6] in mainline

File:

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

kernel/genarch/src/mm/page_ht.c

@@ -135 +135 @@
 {
         assert(item);
-
+        
         pte_t *pte = hash_table_get_inst(item, pte_t, link);
         slab_free(pte_cache, pte);
@@ -162 +162 @@
 
         irq_spinlock_lock(&page_ht_lock, true);
-
+        
         if (!hash_table_find(&page_ht, key)) {
                 pte_t *pte = slab_alloc(pte_cache, FRAME_LOWMEM | FRAME_ATOMIC);
                 assert(pte != NULL);
-
+                
                 pte->g = (flags & PAGE_GLOBAL) != 0;
                 pte->x = (flags & PAGE_EXEC) != 0;
@@ -175 +175 @@
                 pte->a = false;
                 pte->d = false;
-
+                
                 pte->as = as;
                 pte->page = ALIGN_DOWN(page, PAGE_SIZE);
@@ -185 +185 @@
                  */
                 write_barrier();
-
+                
                 hash_table_insert(&page_ht, &pte->link);
         }
@@ -210 +210 @@
 
         assert(page_table_locked(as));
-
+        
         irq_spinlock_lock(&page_ht_lock, true);
 
@@ -235 +235 @@
         if (cur)
                 return hash_table_get_inst(cur, pte_t, link);
-
+        
         return NULL;
 }
@@ -257 +257 @@
 
         irq_spinlock_unlock(&page_ht_lock, true);
-
+        
         return t != NULL;
 }
@@ -275 +275 @@
         if (!t)
                 panic("Updating non-existent PTE");
-
+        
         assert(pte->as == t->as);
         assert(pte->page == t->page);