Merged in MHR-31 (pull request #16)

MHR-31: Round robin scheduler.

1 files changed, 6 insertions, 10 deletions

diff --git a/DDK/KernelCall.c b/DDK/KernelCall.c
index c20a4894..7dc5761c 100644
--- a/DDK/KernelCall.c
+++ b/DDK/KernelCall.c
@@ -9,22 +9,18 @@
 #include <DDK/KernelStd.h>
 #include <stdarg.h>
 
-DK_EXTERN __attribute__((naked)) void __kernelDispatchCall(int32_t cnt, ...);
+/// @brief this is an internal call, do not use it.
+DK_EXTERN __attribute__((naked)) void* __kernelDispatchCall(const char* name, int32_t cnt, void* data, size_t sz);
 
 /// @brief Execute a function on the kernel.
 /// @param kernelRpcName the name of the function.
 /// @param cnt number of arguments.
-/// @param  
-/// @return 
-DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, ...)
+/// @param
+/// @return
+DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, void* data, size_t sz)
 {
 	if (!kernelRpcName || cnt == 0)
 		return NIL;
 
-	va_list arg;
-	va_start(arg, cnt);
-
-	__kernelDispatchCall(cnt, arg);
-
-	va_end(arg);
+	return __kernelDispatchCall(kernelRpcName, cnt, data, sz);
 }