Changeset 40c8c17 in mainline for kernel/generic

Timestamp:

2011-11-26T21:37:40Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

38ff925

Parents:

056ddc30

Message:

Replace multiple definitions of last_frame with config.physmem_end.
Do not duplicate code which calculates the end of physical memory.

Location:

kernel/generic

Files:

• include/config.h (modified) (1 diff)
• src/main/main.c (modified) (1 diff)
• src/mm/frame.c (modified) (1 diff)

kernel/generic/include/config.h

@@ -95 +95 @@
 
         bool non_identity_configured;   
+
+        /** End of physical memory. */
+        uint64_t physmem_end;
 } config_t;
 

kernel/generic/src/main/main.c

@@ -91 +91 @@
 config_t config = {
         .identity_configured = false,
-        .non_identity_configured = false
+        .non_identity_configured = false,
+        .physmem_end = 0
 };
 

kernel/generic/src/mm/frame.c

@@ -900 +900 @@
                  */
                 ASSERT(confframe != ADDR2PFN((uintptr_t ) NULL));
+
+                /* Update the known end of physical memory. */
+                config.physmem_end = max(config.physmem_end, PFN2ADDR(start + count));
                 
                 /* If confframe is supposed to be inside our zone, then make sure