use SEL4_BI_FRAME_SIZE

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Mar 25, 2023 · 59c65fc · 59c65fc
1 parent 086cd9a
commit 59c65fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c
@@ -44,7 +44,7 @@ void debug_print_bootinfo(seL4_BootInfo *info)
     printf("Extra boot info blobs:\n");
     seL4_Word offs = 0;
     while (offs < info->extraLen) {
-        seL4_BootInfoHeader *h = (seL4_BootInfoHeader *)((seL4_Word)info + 4096 + offs);
+        seL4_BootInfoHeader *h = (seL4_BootInfoHeader *)((seL4_Word)info + SEL4_BI_FRAME_SIZE + offs);
         printf("    type: %"SEL4_PRIu_word", offset: %"SEL4_PRIu_word", len: %"SEL4_PRIu_word"\n",
                h->id, offs, h->len);
         offs += h->len;