summaryrefslogtreecommitdiffhomepage
path: root/src/libDDK
diff options
context:
space:
mode:
Diffstat (limited to 'src/libDDK')
-rw-r--r--src/libDDK/DriverKit/ObjectKit/Base.h4
-rw-r--r--src/libDDK/src/CxxABI.cpp9
-rw-r--r--src/libDDK/src/KernelDevice.cpp4
-rw-r--r--src/libDDK/src/KernelDriverBase.cpp2
4 files changed, 10 insertions, 9 deletions
diff --git a/src/libDDK/DriverKit/ObjectKit/Base.h b/src/libDDK/DriverKit/ObjectKit/Base.h
index bf557352..5b483617 100644
--- a/src/libDDK/DriverKit/ObjectKit/Base.h
+++ b/src/libDDK/DriverKit/ObjectKit/Base.h
@@ -10,7 +10,7 @@
#define DDK_DRIVER_IMPL \
final: \
- public \
+ public \
::Kernel::DDK::IDriverBase
/// @author Amlal El Mahrouss
@@ -41,7 +41,7 @@ class IDriverBase {
/// @author @amlel-el-mahrouss
template <typename Driver>
concept IsValidDriver = requires(Driver drv) {
- {drv.IsActive() && drv.Type() > kInvalidType};
+ { drv.IsActive() && drv.Type() > kInvalidType };
};
} // namespace Kernel::DDK
diff --git a/src/libDDK/src/CxxABI.cpp b/src/libDDK/src/CxxABI.cpp
index f1fc5034..4c5bda38 100644
--- a/src/libDDK/src/CxxABI.cpp
+++ b/src/libDDK/src/CxxABI.cpp
@@ -12,7 +12,9 @@ void* operator new(size_t sz) {
return ::kalloc(sz);
}
-void operator delete(void* ptr) { ::kfree(ptr); }
+void operator delete(void* ptr) {
+ ::kfree(ptr);
+}
void* operator new[](size_t sz) {
if (!sz) ++sz;
@@ -20,5 +22,6 @@ void* operator new[](size_t sz) {
return ::kalloc(sz);
}
-void operator delete[](void* ptr) { ::kfree(ptr); }
-
+void operator delete[](void* ptr) {
+ ::kfree(ptr);
+}
diff --git a/src/libDDK/src/KernelDevice.cpp b/src/libDDK/src/KernelDevice.cpp
index c5fb785f..50a2c9a8 100644
--- a/src/libDDK/src/KernelDevice.cpp
+++ b/src/libDDK/src/KernelDevice.cpp
@@ -11,8 +11,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/src/libDDK/src/KernelDriverBase.cpp b/src/libDDK/src/KernelDriverBase.cpp
index 37b138a0..c81de2cf 100644
--- a/src/libDDK/src/KernelDriverBase.cpp
+++ b/src/libDDK/src/KernelDriverBase.cpp
@@ -4,5 +4,3 @@
// Official repository: https://github.com/ne-foss-org/nekernel
#include <DriverKit/ObjectKit/Base.h>
-
-