Changeset ada559c in mainline for kernel/generic/src/mm/as.c

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.

File:

• kernel/generic/src/mm/as.c (modified) (1 diff)

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.