Changes in boot/arch/arm32/src/main.c [4646710:15fbe6a] in mainline

File:

• boot/arch/arm32/src/main.c (modified) (5 diffs)

boot/arch/arm32/src/main.c

@@ -37 +37 @@
 #include <arch/asm.h>
 #include <arch/mm.h>
+#include <arch/_components.h>
 #include <halt.h>
 #include <printf.h>
@@ -43 +44 @@
 #include <macros.h>
 #include <align.h>
-#include <stdbool.h>
 #include <str.h>
 #include <errno.h>
 #include <inflate.h>
 #include <arch/cp15.h>
-#include "../../components.h"
 
 #define TOP2ADDR(top)  (((void *) PA2KA(BOOT_OFFSET)) + (top))
@@ -99 +98 @@
         
         for (size_t i = 0; i < COMPONENTS; i++) {
-                printf(" %p|%p: %s image (%u/%u bytes)\n", components[i].addr,
-                    components[i].addr, components[i].name, components[i].inflated,
+                printf(" %p|%p: %s image (%u/%u bytes)\n", components[i].start,
+                    components[i].start, components[i].name, components[i].inflated,
                     components[i].size);
         }
@@ -129 +128 @@
         
         for (size_t i = cnt; i > 0; i--) {
-                void *tail = components[i - 1].addr + components[i - 1].size;
+                void *tail = components[i - 1].start + components[i - 1].size;
                 if (tail >= dest[i - 1]) {
                         printf("\n%s: Image too large to fit (%p >= %p), halting.\n",
@@ -138 +137 @@
                 printf("%s ", components[i - 1].name);
                 
-                int err = inflate(components[i - 1].addr, components[i - 1].size,
+                int err = inflate(components[i - 1].start, components[i - 1].size,
                     dest[i - 1], components[i - 1].inflated);
                 if (err != EOK) {