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

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

1 files changed, 8 insertions, 7 deletions

diff --git a/Private/DriverKit/KernelCall.c b/Private/DriverKit/KernelCall.c
index 494ac0bc..586505dc 100644
--- a/Private/DriverKit/KernelCall.c
+++ b/Private/DriverKit/KernelCall.c
@@ -11,14 +11,15 @@
 
 DK_EXTERN __attribute__((naked)) void __kernelDispatchCall(int32_t cnt, ...);
 
-DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, ...) {
-    if (!kernelRpcName || cnt == 0) return NIL;
+DK_EXTERN void* kernelCall(const char* kernelRpcName, int32_t cnt, ...)
+{
+	if (!kernelRpcName || cnt == 0)
+		return NIL;
 
-    va_list arg;
-    va_start(arg, cnt);
+	va_list arg;
+	va_start(arg, cnt);
 
-    __kernelDispatchCall(cnt, arg);
-
-    va_end(arg);
+	__kernelDispatchCall(cnt, arg);
 
+	va_end(arg);
 }