From 2c4b02249ec4355a73b826909ab1889e45871faf Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 31 Aug 2024 10:47:14 +0200 Subject: 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 --- dev/DDK/KernelDev.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'dev/DDK/KernelDev.c') 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 /// @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)); } -- cgit v1.2.3