Changeset 8f00329 in mainline for genarch/src/mm/page_ht.c

Timestamp:

2006-02-09T21:59:31Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a3eeceb6

Parents:

bfb87df

Message:

Add page_mapping_remove().

File:

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

genarch/src/mm/page_ht.c

@@ -48 +48 @@
 
 static void ht_mapping_insert(as_t *as, __address page, __address frame, int flags);
+static void ht_mapping_remove(as_t *as, __address page);
 static pte_t *ht_mapping_find(as_t *as, __address page);
 
@@ -71 +72 @@
 page_mapping_operations_t ht_mapping_operations = {
         .mapping_insert = ht_mapping_insert,
+        .mapping_remove = ht_mapping_remove,
         .mapping_find = ht_mapping_find
 };
@@ -163 +165 @@
 {
         pte_t *t;
-        ipl_t ipl;
         __native key[2] = { (__address) as, page };
         
-        ipl = interrupts_disable();
         spinlock_lock(&page_ht_lock);
 
@@ -177 +177 @@
         
         spinlock_unlock(&page_ht_lock);
-        interrupts_restore(ipl);
-}
+}
+
+/** Remove mapping of page from page hash table.
+ *
+ * Remove any mapping of 'page' within address space 'as'.
+ * TLB shootdown should follow in order to make effects of
+ * this call visible.
+ *
+ * The address space must be locked and interrupts must be disabled.
+ *
+ * @param as Address space to wich page belongs.
+ * @param page Virtual address of the page to be demapped.
+ */
+void ht_mapping_remove(as_t *as, __address page)
+{
+        __native key[2] = { (__address) as, page };
+        
+        spinlock_lock(&page_ht_lock);
+
+        /*
+         * Note that removed PTE's will be freed
+         * by remove_callback().
+         */
+        hash_table_remove(&page_ht, key, 2);
+
+        spinlock_unlock(&page_ht_lock);
+}
+
 
 /** Find mapping for virtual page in page hash table.