From 36a1428c5550587daa211fd468ee7897b244cc39 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Sun, 9 Apr 2023 15:42:55 +0200 Subject: [PATCH] base-sel4: fix build errors with gcc 12 Fixes #4835 --- repos/base-sel4/src/core/include/initial_untyped_pool.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-sel4/src/core/include/initial_untyped_pool.h b/repos/base-sel4/src/core/include/initial_untyped_pool.h index c7bfa24615..1ca7d10088 100644 --- a/repos/base-sel4/src/core/include/initial_untyped_pool.h +++ b/repos/base-sel4/src/core/include/initial_untyped_pool.h @@ -179,7 +179,7 @@ class Core::Initial_untyped_pool template void turn_into_untyped_object(addr_t const node_index, FUNC const & func, - uint8_t const size_log2 = get_page_size_log2(), + size_t const size_log2 = get_page_size_log2(), addr_t max_memory = 0UL - 0x1000UL) { for_each_range([&] (Range &range) { @@ -193,7 +193,7 @@ class Core::Initial_untyped_pool for (;;) { addr_t const page_aligned_free_offset = - align_addr(range.free_offset, size_log2); + align_addr(range.free_offset, (int)size_log2); /* back out if no further page can be allocated */ if (page_aligned_free_offset + (1UL << size_log2) > range.size)