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

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

1 files changed, 18 insertions, 13 deletions

diff --git a/Private/DriverKit/KernelPrint.c b/Private/DriverKit/KernelPrint.c
index 5ca09ccf..d10efc82 100644
--- a/Private/DriverKit/KernelPrint.c
+++ b/Private/DriverKit/KernelPrint.c
@@ -8,21 +8,26 @@
 
 #include <DriverKit/KernelPrint.h>
 
-DK_EXTERN void kernelPrintChar(const char ch) {
-    kernelCall("WriteCharacter", 1, ch);
+DK_EXTERN void kernelPrintChar(const char ch)
+{
+	kernelCall("WriteCharacter", 1, ch);
 }
 
 /// @brief print string to UART.
 /// @param message UART to transmit.
-DK_EXTERN void kernelPrintStr(const char* message) {
-    if (!message) return;
-    if (*message == 0) return;
-
-    size_t index = 0;
-    size_t len = kernelStringLength(message);
-
-    while (index < len) {
-      kernelPrintChar(message[index]);
-      ++index;
-    }
+DK_EXTERN void kernelPrintStr(const char* message)
+{
+	if (!message)
+		return;
+	if (*message == 0)
+		return;
+
+	size_t index = 0;
+	size_t len	 = kernelStringLength(message);
+
+	while (index < len)
+	{
+		kernelPrintChar(message[index]);
+		++index;
+	}
 }