From bfaacb1ada2c7b095eab331cf679c088263013db Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 16 Jan 2025 13:05:09 +0100
Subject: [PATCH] fixup "base: use Dataspace_attr in io_mem _map_local(...)" -
 fiasco nightly failure

Issue #5406
---
 repos/base-fiasco/src/core/io_mem_session_support.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-fiasco/src/core/io_mem_session_support.cc b/repos/base-fiasco/src/core/io_mem_session_support.cc
index 59880e5b50..e55aa04ae3 100644
--- a/repos/base-fiasco/src/core/io_mem_session_support.cc
+++ b/repos/base-fiasco/src/core/io_mem_session_support.cc
@@ -99,7 +99,7 @@ Io_mem_session_component::Map_local_result Io_mem_session_component::_map_local(
 		[&] (void *ptr) {
 			addr_t const core_local_base = (addr_t)ptr;
 			map_io_region(phys_base, core_local_base, size);
-			return Map_local_result { .core_local_addr = 0, .success = true };
+			return Map_local_result { .core_local_addr = core_local_base, .success = true };
 		},
 
 		[&] (Range_allocator::Alloc_error) {