base-tukija: Properly implemented resource allocation syscall.

2026-01-21 20:42:56 +01:00 · 2025-02-27 16:22:40 +01:00
parent 229d395b73
commit 9d0b5493f4
1 changed files with 2 additions and 2 deletions
--- a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h
+++ b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h
@@ -303,9 +303,9 @@ namespace Tukija {
 	}

 	ALWAYS_INLINE
-	inline uint8_t alloc()
+	inline uint8_t alloc(Tukija::Resource_type type, Genode::size_t quantity)
 	{
-		return syscall_0(TUKIJA_ALLOCATE, 0, 0);
+		return syscall_0(TUKIJA_ALLOCATE, type, quantity);
 	}

 	/**