From 9d0b5493f458a8a2448102dc83d3e32c7e7c32f0 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Thu, 27 Feb 2025 16:22:40 +0100 Subject: [PATCH] base-tukija: Properly implemented resource allocation syscall. --- repos/base-tukija/include/spec/64bit/tukija/syscalls.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h index 72876114dc..515c81d70d 100644 --- 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); } /**