diff options
Diffstat (limited to 'dev/libDDK/src')
| -rw-r--r-- | dev/libDDK/src/ddk_abi_cxx.cc | 4 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_alloc.c | 4 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_dev.c | 7 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_io.c | 4 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_kernel_call.c | 4 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_str.c | 4 | ||||
| -rw-r--r-- | dev/libDDK/src/ddk_ver.c | 4 |
7 files changed, 16 insertions, 15 deletions
diff --git a/dev/libDDK/src/ddk_abi_cxx.cc b/dev/libDDK/src/ddk_abi_cxx.cc index fc590c0e..196f7f6a 100644 --- a/dev/libDDK/src/ddk_abi_cxx.cc +++ b/dev/libDDK/src/ddk_abi_cxx.cc @@ -1,4 +1,4 @@ -/* ------------------------------------------- +/* ======================================== DDK Copyright Amlal El Mahrouss. @@ -6,7 +6,7 @@ Author: Amlal El Mahrouss Purpose: DDK C++ ABI. -------------------------------------------- */ +======================================== */ #include <DriverKit/ddk.h> diff --git a/dev/libDDK/src/ddk_alloc.c b/dev/libDDK/src/ddk_alloc.c index 08527f4d..09f3034f 100644 --- a/dev/libDDK/src/ddk_alloc.c +++ b/dev/libDDK/src/ddk_alloc.c @@ -1,10 +1,10 @@ -/* ------------------------------------------- +/* ======================================== Copyright Amlal El Mahrouss. Purpose: DDK allocator. -------------------------------------------- */ +======================================== */ #include <DriverKit/ddk.h> diff --git a/dev/libDDK/src/ddk_dev.c b/dev/libDDK/src/ddk_dev.c index c0396eb5..64ecefb6 100644 --- a/dev/libDDK/src/ddk_dev.c +++ b/dev/libDDK/src/ddk_dev.c @@ -1,10 +1,10 @@ -/* ------------------------------------------- +/* ======================================== Copyright Amlal El Mahrouss. Purpose: DDK Text I/O. -------------------------------------------- */ +======================================== */ #include <DriverKit/dev.h> #include <DriverKit/str.h> @@ -13,7 +13,8 @@ DDK_EXTERN DDK_DEVICE_PTR kopen_dev(const char* devicePath) { if (nil == devicePath) return nil; - return (DDK_DEVICE_PTR)ke_call_dispatch("dk_open_dev", 1, (void*) devicePath, kstrlen(devicePath)); + return (DDK_DEVICE_PTR) ke_call_dispatch("dk_open_dev", 1, (void*) devicePath, + kstrlen(devicePath)); } /// @brief Close any device. diff --git a/dev/libDDK/src/ddk_io.c b/dev/libDDK/src/ddk_io.c index ab0dd624..07287b91 100644 --- a/dev/libDDK/src/ddk_io.c +++ b/dev/libDDK/src/ddk_io.c @@ -1,4 +1,4 @@ -/* ------------------------------------------- +/* ======================================== libDDK - Device Driver Kit Copyright 2025 - Amlal El Mahrouss and NeKernel contributors. @@ -6,7 +6,7 @@ File: ddk_io.c Purpose: DDK Text I/O. -------------------------------------------- */ +======================================== */ #include <DriverKit/io.h> diff --git a/dev/libDDK/src/ddk_kernel_call.c b/dev/libDDK/src/ddk_kernel_call.c index 5976665b..92662ea5 100644 --- a/dev/libDDK/src/ddk_kernel_call.c +++ b/dev/libDDK/src/ddk_kernel_call.c @@ -1,4 +1,4 @@ -/* ------------------------------------------- +/* ======================================== DDK Copyright Amlal El Mahrouss. @@ -6,7 +6,7 @@ Author: Amlal El Mahrouss Purpose: DDK kernel dispatch system. -------------------------------------------- */ +======================================== */ #include <DriverKit/ddk.h> #include <stdarg.h> diff --git a/dev/libDDK/src/ddk_str.c b/dev/libDDK/src/ddk_str.c index 1e2fde19..3021f84a 100644 --- a/dev/libDDK/src/ddk_str.c +++ b/dev/libDDK/src/ddk_str.c @@ -1,10 +1,10 @@ -/* ------------------------------------------- +/* ======================================== Copyright Amlal El Mahrouss. Purpose: DDK String API. -------------------------------------------- */ +======================================== */ #include <DriverKit/str.h> diff --git a/dev/libDDK/src/ddk_ver.c b/dev/libDDK/src/ddk_ver.c index 9be3134e..3679bdef 100644 --- a/dev/libDDK/src/ddk_ver.c +++ b/dev/libDDK/src/ddk_ver.c @@ -1,10 +1,10 @@ -/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK version system.
-------------------------------------------- */
+======================================== */
#include <DriverKit/ddk.h>
|