From 48c28ffbe6c475418378b525b092b4c0bd69346e Mon Sep 17 00:00:00 2001
From: Maschell <Maschell@gmx.de>
Date: Fri, 24 Sep 2021 16:44:51 +0200
Subject: [PATCH] Formatting

---
 include/kernel/kernel.h |  4 ++--
 source/utils.cpp        | 11 +++++------
 2 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/include/kernel/kernel.h b/include/kernel/kernel.h
index 0332da5..998c7a0 100644
--- a/include/kernel/kernel.h
+++ b/include/kernel/kernel.h
@@ -9,8 +9,8 @@ extern "C"
 
 #include <stdint.h>
 
-extern void KernelReadSRs(sr_table_t* table);
-extern void KernelWriteSRs(sr_table_t* table);
+extern void KernelReadSRs(sr_table_t *table);
+extern void KernelWriteSRs(sr_table_t *table);
 extern void KernelCopyData(uint32_t dst, uint32_t src, uint32_t len);
 
 void KernelReadPTE(uint32_t outputAddr, int32_t length);
diff --git a/source/utils.cpp b/source/utils.cpp
index fdd0acc..2865241 100644
--- a/source/utils.cpp
+++ b/source/utils.cpp
@@ -1,22 +1,21 @@
-#include <cstdint>
 #include <coreinit/cache.h>
 #include <coreinit/memorymap.h>
 #include "kernel/kernel.h"
 
 void KernelReadPTE(uint32_t outputAddr, int32_t length) {
-    uint32_t dst = (uint32_t) OSEffectiveToPhysical(outputAddr);
+    auto dst = (uint32_t) OSEffectiveToPhysical(outputAddr);
     uint32_t src = 0xFFE20000;
     ICInvalidateRange(&dst, 4);
     DCFlushRange(&dst, 4);
     DCFlushRange(&src, 4);
     KernelCopyData(dst, src, length);
-    DCFlushRange((void *)outputAddr, length);
-    ICInvalidateRange((void *)outputAddr, length);
+    DCFlushRange((void *) outputAddr, length);
+    ICInvalidateRange((void *) outputAddr, length);
 }
 
 void KernelWritePTE(uint32_t inputAddr, int32_t length) {
     uint32_t dst = 0xFFE20000;
-    uint32_t src = (uint32_t) OSEffectiveToPhysical(inputAddr);
+    auto src = (uint32_t) OSEffectiveToPhysical(inputAddr);
     ICInvalidateRange(&src, 4);
     DCFlushRange(&src, 4);
     KernelCopyData(dst, src, length);
@@ -26,6 +25,6 @@ void KernelNOPAtPhysicalAddress(uint32_t addr) {
     uint32_t dst = 0x60000000;
     ICInvalidateRange(&dst, 4);
     DCFlushRange(&dst, 4);
-    KernelCopyData(addr,(uint32_t)OSEffectiveToPhysical((uint32_t)&dst),4);
+    KernelCopyData(addr, (uint32_t) OSEffectiveToPhysical((uint32_t) &dst), 4);
 }