From 6b1cd8c161af84dbd6031caa54c5957978fc71f8 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Tue, 28 Jun 2022 19:12:42 +0200 Subject: [PATCH] WIP libsel4platsupport: debug log --- libsel4muslcsys/src/sys_morecore.c | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/libsel4muslcsys/src/sys_morecore.c b/libsel4muslcsys/src/sys_morecore.c index c5240f632..3d83bb62a 100644 --- a/libsel4muslcsys/src/sys_morecore.c +++ b/libsel4muslcsys/src/sys_morecore.c @@ -68,6 +68,11 @@ long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t if (length > morecore_top - morecore_base) { return -ENOMEM; } + + ZF_LOGI( + "morecore %p - %p, len %#x, return address: 0x%"PRIxPTR, + morecore_base, morecore_top, length, morecore_top-length); + /* Steal from the top */ morecore_top -= length; return morecore_top; @@ -116,6 +121,8 @@ static void init_morecore_region(void) morecore_base = (uintptr_t) morecore_area; morecore_top = (uintptr_t) &morecore_area[morecore_size]; } + + ZF_LOGI("morecore %p - %p (%#zd)", morecore_base, morecore_top, morecore_size); } static long sys_brk_static(va_list ap) @@ -199,8 +206,16 @@ static long sys_mmap_impl_static(void *addr, size_t length, int prot, int flags, if (base < morecore_base) { return -ENOMEM; } + ZF_LOGF_IF( + (base % 0x1000) != 0, + "morecore %p - %p, len %#zx, return address: %p (not 4 KiB aligned)", + (void*)morecore_base, (void*)morecore_top, length, (void*)base); + + ZF_LOGI( + "morecore %p - %p, len %#zx, return address: %p", + (void*)morecore_base, (void*)morecore_top, length, (void*)base); + morecore_top = base; - ZF_LOGF_IF((base % 0x1000) != 0, "return address: 0x%"PRIxPTR" requires alignment: 0x%x ", base, 0x1000); return base; } assert(!"not implemented");