From 069460901d7d0af26fcb7c04f091ff5e335c4ecf Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Wed, 23 Apr 2025 16:04:55 +0200
Subject: [PATCH] Fixed Ram_dataspace_factory not allocating memory when
 supplied with custom range.

---
 repos/base/src/core/ram_dataspace_factory.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/core/ram_dataspace_factory.cc b/repos/base/src/core/ram_dataspace_factory.cc
index 12d4867deb..9a628ba617 100644
--- a/repos/base/src/core/ram_dataspace_factory.cc
+++ b/repos/base/src/core/ram_dataspace_factory.cc
@@ -160,7 +160,7 @@ Ram_dataspace_factory::try_alloc(size_t ds_size, Cache cache, Range_allocator::R
 	Range_allocator::Alloc_result allocated_range = Allocator::Alloc_error::DENIED;
 
 	for (size_t align_log2 = log2(ds_size); align_log2 >= 12; align_log2--) {
-		_phys_alloc.alloc_aligned(ds_size, (unsigned)align_log2, range);
+		allocated_range = _phys_alloc.alloc_aligned(ds_size, (unsigned)align_log2, range);
 		if (allocated_range.ok())
 			break;
 	}