ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-sel4: fix compile errors with GCC 8.3.0 

Fixes #3328
This commit is contained in:
Christian Prochaska 2019-05-06 14:13:58 +02:00 committed by Christian Helmuth
parent a41d46e193
commit 5a2e7a8d66
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-sel4/src/core/platform.cc
View File

@ -386,7 +386,7 @@ void Platform::_init_rom_modules()
addr_t const boot_info_extra = boot_info_page + 4096;
seL4_BootInfoHeader const * element = reinterpret_cast<seL4_BootInfoHeader *>(boot_info_extra);
seL4_BootInfoHeader const * const last = reinterpret_cast<seL4_BootInfoHeader const * const>(boot_info_extra + bi.extraLen);
seL4_BootInfoHeader const * const last = reinterpret_cast<seL4_BootInfoHeader const *>(boot_info_extra + bi.extraLen);
for (seL4_BootInfoHeader const *next = nullptr;
(next = reinterpret_cast<seL4_BootInfoHeader const *>(reinterpret_cast<addr_t>(element) + element->len)) &&

2
repos/base-sel4/src/core/ram_dataspace_support.cc
View File

@ -49,7 +49,7 @@ void Ram_dataspace_factory::_clear_ds (Dataspace_component &ds)
if (!virt_addr_ptr)
ASSERT_NEVER_CALLED;
addr_t const virt_addr = reinterpret_cast<addr_t const>(virt_addr_ptr);
addr_t const virt_addr = reinterpret_cast<addr_t>(virt_addr_ptr);
/* map each page of dataspace one at a time and clear it */
for (addr_t offset = 0; offset < page_rounded_size; offset += get_page_size())