From 59c65fc0e12dac0ea3ccf326cf15ccad254b951a Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Mon, 21 Feb 2022 13:12:22 +0100 Subject: [PATCH] use SEL4_BI_FRAME_SIZE Signed-off-by: Axel Heider --- libsel4debug/src/bootinfo.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c index aa9a8ad91..ea88c3520 100644 --- 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;