diff options
| author | Amlal EL Mahrouss <amlalelmahrouss@icloud.com> | 2024-07-04 23:53:20 +0200 |
|---|---|---|
| committer | Amlal EL Mahrouss <amlalelmahrouss@icloud.com> | 2024-07-04 23:53:56 +0200 |
| commit | 175296c1e85d2747fb4b1063199e933978320231 (patch) | |
| tree | 161659f9af65a0c37802630209ec2654cfec1659 /DDK | |
| parent | 16c2e132b39836a3e312f3bda7ee0e6de60d6dd9 (diff) | |
MHR-36: Running run_format.
Signed-off-by: Amlal EL Mahrouss <amlalelmahrouss@icloud.com>
Diffstat (limited to 'DDK')
| -rw-r--r-- | DDK/KernelCall.c | 3 | ||||
| -rw-r--r-- | DDK/KernelDev.h | 6 | ||||
| -rw-r--r-- | DDK/KernelPrint.c | 6 | ||||
| -rw-r--r-- | DDK/KernelStd.h | 2 | ||||
| -rw-r--r-- | DDK/KernelString.c | 6 |
5 files changed, 12 insertions, 11 deletions
diff --git a/DDK/KernelCall.c b/DDK/KernelCall.c index 88343abd..9db0c639 100644 --- a/DDK/KernelCall.c +++ b/DDK/KernelCall.c @@ -26,11 +26,10 @@ DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, void* data, s return __kernelDispatchCall(kernelRpcName, cnt, data, sz); } - /// @brief add system call. /// @param slot system call slot /// @param slotFn, syscall slot. -DK_EXTERN void kernelAddSyscall(const int slot, void(*slotFn)(void* a0)) +DK_EXTERN void kernelAddSyscall(const int slot, void (*slotFn)(void* a0)) { kernelCall("AddSyscall", slot, slotFn, 0); }
\ No newline at end of file diff --git a/DDK/KernelDev.h b/DDK/KernelDev.h index e4dfad2f..bd24e2b0 100644 --- a/DDK/KernelDev.h +++ b/DDK/KernelDev.h @@ -15,10 +15,10 @@ struct _kernelDevice; /// @brief Kernel Device driver. typedef struct _kernelDevice { - char name[255]; // the device name. Could be /./DEVICE_NAME/ - void* (*read)(void* arg, int len); // read from 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. + void (*wait)(void); // write to device. struct _kernelDevice* (*open)(const char* path); // open device. void (*close)(struct _kernelDevice* dev); // close device. } kernelDevice, *kernelDeviceRef; diff --git a/DDK/KernelPrint.c b/DDK/KernelPrint.c index 2d39a09d..c805aabd 100644 --- a/DDK/KernelPrint.c +++ b/DDK/KernelPrint.c @@ -10,9 +10,9 @@ DK_EXTERN void kernelPrintChar(const char ch) { - char assembled[2] = { 0 }; - assembled[0] = ch; - assembled[1] = 0; + char assembled[2] = {0}; + assembled[0] = ch; + assembled[1] = 0; kernelCall("WriteCharacter", 1, assembled, 1); } diff --git a/DDK/KernelStd.h b/DDK/KernelStd.h index e4279af4..e483d10b 100644 --- a/DDK/KernelStd.h +++ b/DDK/KernelStd.h @@ -30,7 +30,7 @@ DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, void* dat, si /// @brief add system call. /// @param slot system call slot /// @param slotFn, syscall slot. -DK_EXTERN void kernelAddSyscall(const int slot, void(*slotFn)(void* a0)); +DK_EXTERN void kernelAddSyscall(const int slot, void (*slotFn)(void* a0)); /// @brief allocate ptr. /// @param sz size of ptr. diff --git a/DDK/KernelString.c b/DDK/KernelString.c index 64116399..93c4cdf6 100644 --- a/DDK/KernelString.c +++ b/DDK/KernelString.c @@ -10,8 +10,10 @@ DK_EXTERN size_t kernelStringLength(const char* in) { - if (in == nil) return 0; - if (*in == 0) return 0; + if (in == nil) + return 0; + if (*in == 0) + return 0; size_t index = 0; |