Changes in kernel/genarch/src/mm/as_ht.c [ada559c:d99c1d2] in mainline

File:

• kernel/genarch/src/mm/as_ht.c (modified) (9 diffs)

kernel/genarch/src/mm/as_ht.c

@@ -30 +30 @@
  * @{
  */
-
+ 
 /**
  * @file
- * @brief Address space functions for global page hash table.
+ * @brief       Address space functions for global page hash table.
  */
 
@@ -46 +46 @@
 #include <synch/mutex.h>
 
-static pte_t *ht_create(unsigned int);
-static void ht_destroy(pte_t *);
+static pte_t *ht_create(int flags);
+static void ht_destroy(pte_t *page_table);
 
-static void ht_lock(as_t *, bool);
-static void ht_unlock(as_t *, bool);
-static bool ht_locked(as_t *);
+static void ht_lock(as_t *as, bool lock);
+static void ht_unlock(as_t *as, bool unlock);
 
 as_operations_t as_ht_operations = {
@@ -58 +57 @@
         .page_table_lock = ht_lock,
         .page_table_unlock = ht_unlock,
-        .page_table_locked = ht_locked,
 };
 
@@ -70 +68 @@
  *
  * @return Returns NULL.
- *
  */
-pte_t *ht_create(unsigned int flags)
+pte_t *ht_create(int flags)
 {
         if (flags & FLAG_AS_KERNEL) {
@@ -78 +75 @@
                 mutex_initialize(&page_ht_lock, MUTEX_PASSIVE);
         }
-        
         return NULL;
 }
@@ -87 +83 @@
  *
  * @param page_table This parameter is ignored.
- *
  */
 void ht_destroy(pte_t *page_table)
@@ -99 +94 @@
  * Interrupts must be disabled.
  *
- * @param as   Address space.
+ * @param as Address space.
  * @param lock If false, do not attempt to lock the address space.
- *
  */
 void ht_lock(as_t *as, bool lock)
@@ -107 +101 @@
         if (lock)
                 mutex_lock(&as->lock);
-        
         mutex_lock(&page_ht_lock);
 }
@@ -116 +109 @@
  * Interrupts must be disabled.
  *
- * @param as     Address space.
+ * @param as Address space.
  * @param unlock If false, do not attempt to lock the address space.
- *
  */
 void ht_unlock(as_t *as, bool unlock)
 {
         mutex_unlock(&page_ht_lock);
-        
         if (unlock)
                 mutex_unlock(&as->lock);
 }
 
-/** 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));
-}
-
 /** @}
  */