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, 4 insertions, 4 deletions

diff --git a/dev/DDK/KernelDev.c b/dev/DDK/KernelDev.c
index df61e35d..78703961 100644
--- a/dev/DDK/KernelDev.c
+++ b/dev/DDK/KernelDev.c
@@ -10,20 +10,20 @@
 #include <DDK/KernelString.h>
 
 /// @brief Open a new binary device from path.
-DK_EXTERN kernelDeviceRef kernelOpenDevice(const char* devicePath)
+DK_EXTERN KERNEL_DEVICE_PTR KernelOpenDevice(const char* devicePath)
 {
 	if (!devicePath)
 		return nil;
 
-	return kernelCall("OpenDevice", 1, (void*)devicePath, kernelStringLength(devicePath));
+	return KernelCall("OpenDevice", 1, (void*)devicePath, KernelStringLength(devicePath));
 }
 
 /// @brief Close any device.
 /// @param device valid device.
-DK_EXTERN void kernelCloseDevice(kernelDeviceRef device)
+DK_EXTERN void KernelCloseDevice(KERNEL_DEVICE_PTR device)
 {
 	if (!device)
 		return;
 
-	kernelCall("CloseDevice", 1, device, sizeof(kernelDevice));
+	KernelCall("CloseDevice", 1, device, sizeof(KERNEL_DEVICE));
 }