diff --git a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h
index 515c81d70d..26c9b019c0 100644
--- a/repos/base-tukija/include/spec/64bit/tukija/syscalls.h
+++ b/repos/base-tukija/include/spec/64bit/tukija/syscalls.h
@@ -417,6 +417,18 @@ namespace Tukija {
 		return syscall_0(TUKIJA_CELL_CTRL, op, pd);
 	}
 
+	ALWAYS_INLINE
+	inline uint8_t release(Tukija::Resource_type type, Tukija::Release_op op = Tukija::Release_op::RELEASE) 
+	{
+		return syscall_0(TUKIJA_RELEASE, op, type);
+	}
+
+	ALWAYS_INLINE
+	inline uint8_t return_to_owner(Tukija::Resource_type type)
+	{
+		return release(type, Tukija::Release_op::RETURN_TO_OWNER);
+	}
+
 	ALWAYS_INLINE
 	inline uint8_t assign_pci(mword_t pd, mword_t mem, mword_t rid)
 	{