ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-sel4: fix build errors with gcc 12

Browse Source 
Fixes #4835
This commit is contained in:
Christian Prochaska 2023-04-09 15:42:55 +02:00 committed by Christian Helmuth
parent c74c8d12cf
commit 36a1428c55
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-sel4/src/core/include/initial_untyped_pool.h
View File

@ -179,7 +179,7 @@ class Core::Initial_untyped_pool
template <typename FUNC>
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)