Changeset 5dd830c in mainline

Timestamp:

2011-11-08T22:36:50Z (12 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

e1ed831f

Parents:

77a493a

Message:

Partition ia32 kernel memory.

Location:

kernel/arch/ia32

Files:

• include/mm/km.h (modified) (1 diff)
• src/mm/km.c (modified) (1 diff)

kernel/arch/ia32/include/mm/km.h

@@ -36 +36 @@
 #define KERN_ia32_KM_H_
 
+#define KM_IA32_IDENTITY_START          UINT32_C(0x80000000)
+#define KM_IA32_IDENTITY_SIZE           UINT32_C(0x40000000)
+
+#define KM_IA32_NON_IDENTITY_START      UINT32_C(0xc0000000)
+#define KM_IA32_NON_IDENTITY_SIZE       UINT32_C(0x40000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);

kernel/arch/ia32/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_IA32_IDENTITY_START;
+        config.identity_size = KM_IA32_IDENTITY_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+        km_non_identity_span_add(KM_IA32_NON_IDENTITY_START,
+            KM_IA32_NON_IDENTITY_SIZE);
 }