From 775f92d1a9a2b120341d79b46a55b5ad1c9c2353 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Fri, 21 Feb 2025 15:26:59 +0100 Subject: [PATCH] Added syscall to create a new cell kernel object and a dummy syscall to test core allocation. --- .../base-tukija/include/spec/64bit/tukija/syscalls.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h index e1ea3d6316..b1edb5630f 100644 --- a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h +++ b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h @@ -296,6 +296,18 @@ namespace Tukija { } + ALWAYS_INLINE + inline uint8_t create_cell(mword_t pd, uint8_t prio, mword_t &cip, mword_t &dst) + { + return syscall_5(TUKIJA_CREATE_CELL, prio, pd, dst, cip); + } + + ALWAYS_INLINE + inline uint8_t alloc() + { + return syscall_0(TUKIJA_ALLOCATE, 0, 0); + } + /** * Revoke memory, capabilities or i/o ports from a PD *