denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed Ram_dataspace_factory not allocating memory when supplied with custom range.

Browse Source
This commit is contained in:
Michael Mueller
2025-04-23 16:04:55 +02:00
parent 7b3400b261
commit 069460901d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/src/core/ram_dataspace_factory.cc
View File

@@ -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;
}