Changeset 482826d in mainline for genarch/src/mm/as_pt.c

Timestamp:

2006-05-31T16:23:19Z (18 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.

File:

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

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.
  *