From 62b874f321ef7970b7f7d9aca5ba16bb913272fe 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 dacacdb29..60e8f7518 100644 --- a/libsel4debug/src/bootinfo.c +++ b/libsel4debug/src/bootinfo.c @@ -74,7 +74,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;