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.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'dev/DDK/KernelDev.h') diff --git a/dev/DDK/KernelDev.h b/dev/DDK/KernelDev.h index c2328d40..ce7b1a2d 100644 --- a/dev/DDK/KernelDev.h +++ b/dev/DDK/KernelDev.h @@ -10,23 +10,23 @@ #include -struct _kernelDevice; +struct _KERNEL_DEVICE; /// @brief Kernel Device driver. -typedef struct _kernelDevice +typedef struct _KERNEL_DEVICE { char name[255]; // the device name. Could be /./DEVICE_NAME/ void* (*read)(void* arg, int len); // read from device. void (*write)(void* arg, int len); void (*wait)(void); // write to device. - struct _kernelDevice* (*open)(const char* path); // open device. - void (*close)(struct _kernelDevice* dev); // close device. -} kernelDevice, *kernelDeviceRef; + struct _KERNEL_DEVICE* (*open)(const char* path); // open device. + void (*close)(struct _KERNEL_DEVICE* dev); // close device. +} KERNEL_DEVICE, *KERNEL_DEVICE_PTR; /// @brief Open a new device from path. /// @param devicePath the device's path. -DK_EXTERN kernelDeviceRef kernelOpenDevice(const char* devicePath); +DK_EXTERN KERNEL_DEVICE_PTR KernelOpenDevice(const char* devicePath); /// @brief Close any device. /// @param device valid device. -DK_EXTERN void kernelCloseDevice(kernelDeviceRef device); +DK_EXTERN void KernelCloseDevice(KERNEL_DEVICE_PTR device); -- cgit v1.2.3