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/KernelDev.h b/Private/DriverKit/KernelDev.h
index 8b6888f0..89edff4d 100644
--- a/Private/DriverKit/KernelDev.h
+++ b/Private/DriverKit/KernelDev.h
@@ -13,13 +13,14 @@
 struct _kernelDevice;
 
 /// @brief Kernel Device driver.
-typedef struct _kernelDevice {
-    char name[255]; // the device name. Could be /./DEVICE_NAME/
-    int32_t(*read)(); // read from device.
-    int32_t(*write)(); // write to device.
-    struct _kernelDevice* (*open)(const char* path); // open device.
-    void (*close)(struct _kernelDevice* dev); // close device.
-} kernelDevice,* kernelDeviceRef;
+typedef struct _kernelDevice
+{
+	char name[255];									 // the device name. Could be /./DEVICE_NAME/
+	int32_t (*read)();								 // read from device.
+	int32_t (*write)();								 // write to device.
+	struct _kernelDevice* (*open)(const char* path); // open device.
+	void (*close)(struct _kernelDevice* dev);		 // close device.
+} kernelDevice, *kernelDeviceRef;
 
 /// @brief Open a new binary device from path.
 DK_EXTERN kernelDeviceRef kernelOpenBinaryDevice(const char* devicePath);