From f3d931aa7cfaf96baef8383b59a8938779541ee7 Mon Sep 17 00:00:00 2001 From: Amlal EL Mahrouss Date: Thu, 15 Aug 2024 18:35:34 +0200 Subject: [IMP] Moved source code into dev/ folder. Signed-off-by: Amlal EL Mahrouss --- dev/DDKit/KernelCall.c | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 dev/DDKit/KernelCall.c (limited to 'dev/DDKit/KernelCall.c') diff --git a/dev/DDKit/KernelCall.c b/dev/DDKit/KernelCall.c new file mode 100644 index 00000000..17e6640d --- /dev/null +++ b/dev/DDKit/KernelCall.c @@ -0,0 +1,36 @@ +/* ------------------------------------------- + + Copyright ZKA Technologies. + + Purpose: DDK kernel call. + +------------------------------------------- */ + +#include +#include + +/// @brief this is an internal call, do not use it. +DK_EXTERN __attribute__((naked)) void* __kernelCallDispatch(const char* name, int32_t cnt, void* data, size_t sz); + +/// @brief Interupt kernel +/// @param kernelRpcName RPC name +/// @param cnt number of elements in **data** pointer. +/// @param data data pointer. +/// @param sz The size of the whole data pointer. +/// @retval void* kernel call was successful. +/// @retval nil kernel call failed, call kernelLastError(void) +DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, void* data, size_t sz) +{ + if (!kernelRpcName || cnt == 0) + return nil; + + return __kernelCallDispatch(kernelRpcName, cnt, data, sz); +} + +/// @brief Add system call. +/// @param slot system call slot +/// @param slotFn, syscall slot. +DK_EXTERN void kernelAddSyscall(const int slot, void (*slotFn)(void* a0)) +{ + kernelCall("AddSyscall", slot, slotFn, 0); +} -- cgit v1.2.3