Changeset da74747 in mainline for kernel/arch/sparc64/src/mm/page.c

Timestamp:

2006-08-09T12:24:58Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

287920f

Parents:

e2882a7

Message:

Start reorganization of different keyboard drivers.
What seemed like a screwed i8042 chip appears to be
Zilog 8530.

The repository won't compile now. To be fixed in next commits.

File:

• kernel/arch/sparc64/src/mm/page.c (modified) (2 diffs)

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

@@ -47 +47 @@
 }
 
+/** Map memory-mapped device into virtual memory.
+ *
+ * So far, only DTLB is used to map devices into memory.
+ * Chances are that there will be only a limited amount of
+ * devices that the kernel itself needs to lock in DTLB.
+ *
+ * @param physaddr Physical address of the page where the
+ *                 device is located. Must be at least
+ *                 page-aligned.
+ * @param size Size of the device's registers. Must not
+ *             exceed 4M and must include extra space
+ *             caused by the alignment.
+ *
+ * @return Virtual address of the page where the device is
+ *         mapped.
+ */
 uintptr_t hw_map(uintptr_t physaddr, size_t size)
 {
@@ -69 +85 @@
         };
         
+        ASSERT(ALIGN_UP(physaddr, PAGE_SIZE) == physaddr);
         ASSERT(size <= 4*1024*1024);