Changeset 482826d in mainline for genarch/src

Timestamp:

2006-05-31T16:23:19Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

39031cc

Parents:

343fc179

Message:

Function for destroying address space for which there is no other reference in the kernel.

Location:

genarch/src/mm

Files:

• as_ht.c (modified) (3 diffs)
• as_pt.c (modified) (3 diffs)

genarch/src/mm/as_ht.c

@@ -43 +43 @@
 
 static pte_t *ht_create(int flags);
+static void ht_destroy(pte_t *page_table);
 
 static void ht_lock(as_t *as, bool lock);
@@ -49 +50 @@
 as_operations_t as_ht_operations = {
         .page_table_create = ht_create,
+        .page_table_destroy = ht_destroy,
         .page_table_lock = ht_lock,
         .page_table_unlock = ht_unlock,
@@ -70 +72 @@
         }
         return NULL;
+}
+
+/** Destroy page table.
+ *
+ * Actually do nothing as the global page hash table is used.
+ *
+ * @param page_table This parameter is ignored.
+ */
+void ht_destroy(pte_t *page_table)
+{
+        /* No-op. */
 }
 

genarch/src/mm/as_pt.c

@@ -45 +45 @@
 
 static pte_t *ptl0_create(int flags);
+static void ptl0_destroy(pte_t *page_table);
 
 static void pt_lock(as_t *as, bool lock);
@@ -51 +52 @@
 as_operations_t as_pt_operations = {
         .page_table_create = ptl0_create,
+        .page_table_destroy = ptl0_destroy,
         .page_table_lock = pt_lock,
         .page_table_unlock = pt_unlock
@@ -95 +97 @@
 }
 
+/** Destroy page table.
+ *
+ * Destroy PTL0, other levels are expected to be already deallocated.
+ *
+ * @param page_table Physical address of PTL0.
+ */
+void ptl0_destroy(pte_t *page_table)
+{
+        frame_free(ADDR2PFN((__address) page_table));
+}
+
 /** Lock page tables.
  *