MHR-23: Add run_format.sh, kernel patches.

Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>

1 files changed, 15 insertions, 9 deletions

diff --git a/Private/DriverKit/KernelDev.c b/Private/DriverKit/KernelDev.c
index e8c041af..aec57e19 100644
--- a/Private/DriverKit/KernelDev.c
+++ b/Private/DriverKit/KernelDev.c
@@ -9,23 +9,29 @@
 #include <DriverKit/KernelDev.h>
 
 /// @brief Open a new binary device from path.
-DK_EXTERN kernelDeviceRef kernelOpenBinaryDevice(const char* devicePath) {
-    if (!devicePath) return NIL;
+DK_EXTERN kernelDeviceRef kernelOpenBinaryDevice(const char* devicePath)
+{
+	if (!devicePath)
+		return NIL;
 
-    return kernelCall("OpenBinaryDevice", 1, devicePath);
+	return kernelCall("OpenBinaryDevice", 1, devicePath);
 }
 
 /// @brief Open a new character device from path.
-DK_EXTERN kernelDeviceRef kernelOpenCharDevice(const char* devicePath) {
-    if (!devicePath) return NIL;
+DK_EXTERN kernelDeviceRef kernelOpenCharDevice(const char* devicePath)
+{
+	if (!devicePath)
+		return NIL;
 
-    return kernelCall("OpenCharDevice", 1, devicePath);
+	return kernelCall("OpenCharDevice", 1, devicePath);
 }
 
 /// @brief Close any device.
 /// @param device valid device.
-DK_EXTERN void kernelCloseDevice(kernelDeviceRef device) {
-    if (!device) return;
+DK_EXTERN void kernelCloseDevice(kernelDeviceRef device)
+{
+	if (!device)
+		return;
 
-    kernelCall("CloseDevice", 1, device);
+	kernelCall("CloseDevice", 1, device);
 }