base: support range restriction in allocator

Issue #696
2026-01-21 12:32:56 +01:00 · 2015-02-07 23:27:56 +01:00
parent 57c4678aa1
commit 95ff5ba11d
9 changed files with 37 additions and 25 deletions
--- a/repos/base-linux/src/core/include/platform.h
+++ b/repos/base-linux/src/core/include/platform.h
@@ -47,7 +47,8 @@ namespace Genode {
 					return true;
 				}

-				Alloc_return alloc_aligned(size_t, void **out_addr, int)
+				Alloc_return alloc_aligned(size_t, void **out_addr, int,
+				                           addr_t, addr_t)
 				{
 					*out_addr = 0;
 					return Alloc_return::OK;