From ad999c3e2e5ca4379e90d4e019b7671a1eaa3fbd Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 11 Oct 2024 17:32:44 +0200 Subject: IMP: Add new targets for OS X, Xcode. FIX: Refactored kernel's source code according to codebase standards. Signed-off-by: Amlal El Mahrouss --- dev/ddk/ddk.h | 2 +- dev/ddk/dev.h | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'dev/ddk') diff --git a/dev/ddk/ddk.h b/dev/ddk/ddk.h index 8a2e2483..64b16eda 100644 --- a/dev/ddk/ddk.h +++ b/dev/ddk/ddk.h @@ -66,7 +66,7 @@ struct DDK_STATUS_STRUCT DK_FINAL /// \brief Simple Message Struct structure. struct DDK_SMS_STRUCT DK_FINAL { - char s_msg[DDK_SMS_MAX_SZ]; + char s_msg[DDK_SMS_MAX_SZ]; int32_t s_type; int64_t s_sender; int64_t s_receiver; diff --git a/dev/ddk/dev.h b/dev/ddk/dev.h index 8dad5736..8b0084a0 100644 --- a/dev/ddk/dev.h +++ b/dev/ddk/dev.h @@ -19,9 +19,9 @@ typedef struct _DDK_DEVICE DK_FINAL char d_name[255]; // the device name. Could be /./DEVICE_NAME/ void* (*d_read)(void* arg, int len); // read from device. void (*d_write)(void* arg, int len); - void (*d_wait)(void); // write to device. + void (*d_wait)(void); // write to device. struct _DDK_DEVICE* (*d_open)(const char* path); // open device. - void (*d_close)(struct _DDK_DEVICE* dev); // close device. + void (*d_close)(struct _DDK_DEVICE* dev); // close device. } KERNEL_DEVICE, *KERNEL_DEVICE_PTR; /// @brief Open a new device from path. -- cgit v1.2.3