Changeset ada559c in mainline

Timestamp:

2010-05-30T21:11:39Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

a820bf7

Parents:

c8e99bb

Message:

Add page_table_locked() interface.

Location:

kernel

Files:

• genarch/src/mm/as_ht.c (modified) (3 diffs)
• genarch/src/mm/as_pt.c (modified) (3 diffs)
• generic/include/mm/as.h (modified) (1 diff)
• generic/include/mm/page.h (modified) (1 diff)
• generic/src/mm/as.c (modified) (1 diff)

kernel/genarch/src/mm/as_ht.c

@@ -51 +51 @@
 static void ht_lock(as_t *, bool);
 static void ht_unlock(as_t *, bool);
+static bool ht_locked(as_t *);
 
 as_operations_t as_ht_operations = {
@@ -57 +58 @@
         .page_table_lock = ht_lock,
         .page_table_unlock = ht_unlock,
+        .page_table_locked = ht_locked,
 };
 
@@ -126 +128 @@
 }
 
+/** Test whether page tables are locked.
+ *
+ * @param as            Address space where the page tables belong.
+ *
+ * @return              True if the page tables belonging to the address soace
+ *                      are locked, otherwise false.
+ */
+bool ht_locked(as_t *as)
+{
+        return (mutex_locked(&page_ht_lock) && mutex_locked(&as->lock));
+}
+
 /** @}
  */

kernel/genarch/src/mm/as_pt.c

@@ -52 +52 @@
 static void pt_lock(as_t *, bool);
 static void pt_unlock(as_t *, bool);
+static bool pt_locked(as_t *);
 
 as_operations_t as_pt_operations = {
@@ -57 +58 @@
         .page_table_destroy = ptl0_destroy,
         .page_table_lock = pt_lock,
-        .page_table_unlock = pt_unlock
+        .page_table_unlock = pt_unlock,
+        .page_table_locked = pt_locked,
 };
 
@@ -146 +148 @@
 }
 
+/** Test whether page tables are locked.
+ *
+ * @param as            Address space where the page tables belong.
+ *
+ * @return              True if the page tables belonging to the address soace
+ *                      are locked, otherwise false.
+ */
+bool pt_locked(as_t *as)
+{
+        return mutex_locked(&as->lock);
+}
+
 /** @}
  */

kernel/generic/include/mm/as.h

@@ -147 +147 @@
         void (* page_table_lock)(as_t *, bool);
         void (* page_table_unlock)(as_t *, bool);
+        bool (* page_table_locked)(as_t *);
 } as_operations_t;
 

kernel/generic/include/mm/page.h

@@ -52 +52 @@
 extern void page_table_lock(as_t *, bool);
 extern void page_table_unlock(as_t *, bool);
+extern bool page_table_locked(as_t *);
 extern void page_mapping_insert(as_t *, uintptr_t, uintptr_t, unsigned int);
 extern void page_mapping_remove(as_t *, uintptr_t);

kernel/generic/src/mm/as.c

@@ -1293 +1293 @@
 }
 
+/** Test whether page tables are locked.
+ *
+ * @param as            Address space where the page tables belong.
+ *
+ * @return              True if the page tables belonging to the address soace
+ *                      are locked, otherwise false.
+ */
+bool page_table_locked(as_t *as)
+{
+        ASSERT(as_operations);
+        ASSERT(as_operations->page_table_locked);
+
+        return as_operations->page_table_locked(as);
+}
+
 
 /** Find address space area and lock it.