Changeset 77a493a in mainline for kernel/arch/arm32/src/mm/km.c

Timestamp:

2011-11-08T22:30:17Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

5dd830c

Parents:

5dc34af

Message:

Partition arm32 kernel memory.

File:

• kernel/arch/arm32/src/mm/km.c (modified) (1 diff)

kernel/arch/arm32/src/mm/km.c

@@ -32 +32 @@
 
 #include <arch/mm/km.h>
+#include <mm/km.h>
+#include <config.h>
 
 void km_identity_arch_init(void)
 {
+        config.identity_base = KM_ARM32_IDENTITY_START;
+        config.identity_size = KM_ARM32_IDENTITY_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+        km_non_identity_span_add(KM_ARM32_NON_IDENTITY_START,
+            KM_ARM32_NON_IDENTITY_SIZE);
 }