Changeset 666773c in mainline for kernel/arch/ia64/src/mm/page.c

Timestamp:

2008-12-31T15:33:29Z (16 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

9805cde

Parents:

d8c0dc5

Message:

Humanitarian facelift for ia64.

File:

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

kernel/arch/ia64/src/mm/page.c

@@ -124 +124 @@
  * Interrupts must be disabled.
  *
- * @param page Address of virtual page including VRN bits.
- * @param asid Address space identifier.
- *
- * @return VHPT entry address.
+ * @param page          Address of virtual page including VRN bits.
+ * @param asid          Address space identifier.
+ *
+ * @return              VHPT entry address.
  */
 vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid)
@@ -168 +168 @@
  * Interrupts must be disabled.
  *
- * @param page Address of virtual page including VRN bits.
- * @param asid Address space identifier.
- *
- * @return True if page and asid match the page and asid of t, false otherwise.
+ * @param page          Address of virtual page including VRN bits.
+ * @param asid          Address space identifier.
+ *
+ * @return              True if page and asid match the page and asid of t,
+ *                      false otherwise.
  */
 bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v)
@@ -212 +213 @@
  *
  * @param v VHPT entry to be set up.
- * @param page Virtual address of the page mapped by the entry.
- * @param asid Address space identifier of the address space to which page belongs.
- * @param frame Physical address of the frame to wich page is mapped.
- * @param flags Different flags for the mapping.
- */
-void vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, int flags)
+ * @param page          Virtual address of the page mapped by the entry.
+ * @param asid          Address space identifier of the address space to which
+ *                      page belongs.
+ * @param frame         Physical address of the frame to wich page is mapped.
+ * @param flags         Different flags for the mapping.
+ */
+void
+vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame,
+    int flags)
 {
         region_register rr_save, rr;    
@@ -251 +255 @@
         
         v->present.p = true;
-        v->present.ma = (flags & PAGE_CACHEABLE) ? MA_WRITEBACK : MA_UNCACHEABLE;
+        v->present.ma = (flags & PAGE_CACHEABLE) ?
+            MA_WRITEBACK : MA_UNCACHEABLE;
         v->present.a = false;   /* not accessed */
         v->present.d = false;   /* not dirty */
@@ -266 +271 @@
 extern uintptr_t last_frame;
 
-
 uintptr_t hw_map(uintptr_t physaddr, size_t size)
 {
-        if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-                panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+        if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
+            KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
+                panic("Unable to map physical memory %p (%d bytes)", physaddr,
+                    size)
         
         uintptr_t virtaddr = PA2KA(last_frame);
@@ -276 +282 @@
         for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
                 uintptr_t addr = PFN2ADDR(i);
-                page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr, PAGE_NOT_CACHEABLE | PAGE_WRITE);
+                page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr,
+                    PAGE_NOT_CACHEABLE | PAGE_WRITE);
         }
         
@@ -284 +291 @@
 }
 
-
-
 /** @}
  */