Saving progress on User scheduler implementation.

+ Working on RISC-V, ARM64, POWER64 HALs, to be able to distribute
  mulitple versions of the product.

Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>

1 files changed, 17 insertions, 17 deletions

diff --git a/dev/DDK/KernelCall.c b/dev/DDK/KernelCall.c
index 8c890579..31e67620 100644
--- a/dev/DDK/KernelCall.c
+++ b/dev/DDK/KernelCall.c
@@ -2,7 +2,7 @@
 
 	Copyright ZKA Technologies.
 
-	Purpose: DDK kernel call.
+	Purpose: DDK Kernel call.
 
 ------------------------------------------- */
 
@@ -10,46 +10,46 @@
 #include <stdarg.h>
 
 /// @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);
+DK_EXTERN __attribute__((naked)) void* __KernelCallDispatch(const char* name, int32_t cnt, void* data, size_t sz);
 
-/// @brief Interupt kernel
-/// @param kernelRpcName RPC name
+/// @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)
+/// @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)
+	if (!KernelRpcName || cnt == 0)
 		return nil;
 
-	return __kernelCallDispatch(kernelRpcName, cnt, data, sz);
+	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))
+DK_EXTERN void KernelAddSyscall(const int slot, void (*slotFn)(void* a0))
 {
-	kernelCall("AddSyscall", slot, slotFn, 1);
+	KernelCall("AddSyscall", slot, slotFn, 1);
 }
 
-/// @brief Get a kernel property.
+/// @brief Get a Kernel property.
 /// @param slot property id (always 0)
 /// @param name the prperty's name.
 /// @return property's object.
-DK_EXTERN void* kernelGetProperty(const int slot, const char* name)
+DK_EXTERN void* KernelGetProperty(const int slot, const char* name)
 {
-	return kernelCall("GetProperty", slot, name, 1);
+	return KernelCall("GetProperty", slot, name, 1);
 }
 
-/// @brief Set a kernel property.
+/// @brief Set a Kernel property.
 /// @param slot property id (always 0)
 /// @param name the property's name.
 /// @param ddk_pr pointer to a  property's DDK_PROPERTY_RECORD.
 /// @return property's object.
-DK_EXTERN void* kernelSetProperty(const int slot, const struct DDK_PROPERTY_RECORD* ddk_pr)
+DK_EXTERN void* KernelSetProperty(const int slot, const struct DDK_PROPERTY_RECORD* ddk_pr)
 {
-	return kernelCall("SetProperty", slot, ddk_pr, 1);
+	return KernelCall("SetProperty", slot, ddk_pr, 1);
 }