Changeset ddcc8a0 in mainline for kernel/generic/src/mm/frame.c

Timestamp:

2011-11-10T23:09:13Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

95e882d

Parents:

ec1c8e6

Message:

Split frame_arch_init() into two parts.

• frame_low_arch_init() is meant to initialize physical memory that will be accessible using the kernel identity mapping
• frame_high_arch_init() is meant to initialize physical memory beyond the reach of the kernel identity mapping; zones in the high memory should have configuration frames allocated externally from the low memory (which will be allowed)

File:

• kernel/generic/src/mm/frame.c (modified) (2 diffs)

kernel/generic/src/mm/frame.c

@@ -1232 +1232 @@
         
         /* Tell the architecture to create some memory */
-        frame_arch_init();
+        frame_low_arch_init();
         if (config.cpu_active == 1) {
                 frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
@@ -1255 +1255 @@
                 frame_mark_unavailable(0, 1);
         }
+        frame_high_arch_init();
 }