Changes in kernel/generic/src/mm/page.c [8f80c77:d99c1d2] in mainline

File:

• kernel/generic/src/mm/page.c (modified) (7 diffs)

kernel/generic/src/mm/page.c

@@ -33 +33 @@
 /**
  * @file
- * @brief Virtual Address Translation subsystem.
+ * @brief       Virtual Address Translation subsystem.
  *
  * This file contains code for creating, destroying and searching
@@ -39 +39 @@
  * Functions here are mere wrappers that call the real implementation.
  * They however, define the single interface. 
- *
  */
 
@@ -56 +55 @@
  * will do an implicit serialization by virtue of running the TLB shootdown
  * interrupt handler.
- *
  */
 
@@ -85 +83 @@
  * of page boundaries.
  *
- * @param addr Address of the structure.
- * @param size Size of the structure.
- *
+ * @param s             Address of the structure.
+ * @param size          Size of the structure.
  */
-void map_structure(uintptr_t addr, size_t size)
+void map_structure(uintptr_t s, size_t size)
 {
-        size_t length = size + (addr - (addr & ~(PAGE_SIZE - 1)));
-        size_t cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
-        
-        size_t i;
+        int i, cnt, length;
+
+        length = size + (s - (s & ~(PAGE_SIZE - 1)));
+        cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
+
         for (i = 0; i < cnt; i++)
-                page_mapping_insert(AS_KERNEL, addr + i * PAGE_SIZE,
-                    addr + i * PAGE_SIZE, PAGE_NOT_CACHEABLE | PAGE_WRITE);
-        
+                page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE,
+                    s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE | PAGE_WRITE);
+
         /* Repel prefetched accesses to the old mapping. */
         memory_barrier();
@@ -108 +106 @@
  * using flags. Allocate and setup any missing page tables.
  *
- * @param as    Address space to wich page belongs.
- * @param page  Virtual address of the page to be mapped.
- * @param frame Physical address of memory frame to which the mapping is
- *              done.
- * @param flags Flags to be used for mapping.
+ * The page table must be locked and interrupts must be disabled.
  *
+ * @param as            Address space to wich page belongs.
+ * @param page          Virtual address of the page to be mapped.
+ * @param frame         Physical address of memory frame to which the mapping is
+ *                      done.
+ * @param flags         Flags to be used for mapping.
  */
-void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame,
-    unsigned int flags)
+void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, int flags)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(page_table_locked(as));
-        
         ASSERT(page_mapping_operations);
         ASSERT(page_mapping_operations->mapping_insert);
-
+        
         page_mapping_operations->mapping_insert(as, page, frame, flags);
         
@@ -136 +131 @@
  * this call visible.
  *
- * @param as   Address space to wich page belongs.
- * @param page Virtual address of the page to be demapped.
+ * The page table must be locked and interrupts must be disabled.
  *
+ * @param as            Address space to wich page belongs.
+ * @param page          Virtual address of the page to be demapped.
  */
 void page_mapping_remove(as_t *as, uintptr_t page)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(page_table_locked(as));
-        
         ASSERT(page_mapping_operations);
         ASSERT(page_mapping_operations->mapping_remove);
         
         page_mapping_operations->mapping_remove(as, page);
-        
+
         /* Repel prefetched accesses to the old mapping. */
         memory_barrier();
@@ -158 +151 @@
  * Find mapping for virtual page.
  *
- * @param as   Address space to wich page belongs.
- * @param page Virtual page.
+ * The page table must be locked and interrupts must be disabled.
  *
- * @return NULL if there is no such mapping; requested mapping
- *         otherwise.
+ * @param as            Address space to wich page belongs.
+ * @param page          Virtual page.
  *
+ * @return              NULL if there is no such mapping; requested mapping
+ *                      otherwise.
  */
 pte_t *page_mapping_find(as_t *as, uintptr_t page)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(page_table_locked(as));
-        
         ASSERT(page_mapping_operations);
         ASSERT(page_mapping_operations->mapping_find);
-        
+
         return page_mapping_operations->mapping_find(as, page);
 }