diff --git a/os/include/os/attached_mmio.h b/os/include/os/attached_mmio.h index 5711cbb942..1879cc0e13 100644 --- a/os/include/os/attached_mmio.h +++ b/os/include/os/attached_mmio.h @@ -49,7 +49,7 @@ namespace Genode Attached_mmio(addr_t base, size_t size, bool write_combined = false) : Attached_io_mem_dataspace(base, size, write_combined), - Mmio((addr_t)local_addr()) { } + Mmio((addr_t)local_addr() | (base & 0xfff)) { } }; }