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

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

1 files changed, 17 insertions, 13 deletions

diff --git a/Private/DriverKit/KernelString.c b/Private/DriverKit/KernelString.c
index 0bb45b16..a8093f97 100644
--- a/Private/DriverKit/KernelString.c
+++ b/Private/DriverKit/KernelString.c
@@ -8,23 +8,27 @@
 
 #include <DriverKit/KernelString.h>
 
-DK_EXTERN size_t kernelStringLength(const char* str) {
-    size_t index = 0;
+DK_EXTERN size_t kernelStringLength(const char* str)
+{
+	size_t index = 0;
 
-    while (str[index] != 0) {
-        ++index;
-    }
+	while (str[index] != 0)
+	{
+		++index;
+	}
 
-    return index;
+	return index;
 }
 
-DK_EXTERN int kernelStringCopy(char* dst, const char* src, size_t len) {
-    size_t index = 0;
+DK_EXTERN int kernelStringCopy(char* dst, const char* src, size_t len)
+{
+	size_t index = 0;
 
-    while (index != len) {
-        dst[index] = src[index];
-        ++index;
-    }
+	while (index != len)
+	{
+		dst[index] = src[index];
+		++index;
+	}
 
-    return index;
+	return index;
 }