3 files changed, 14 insertions, 10 deletions
diff --git a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
index 7ee4a69c..31a083d3 100644
--- a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
+++ b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
@@ -4,7 +4,7 @@
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/ProcessScheduler.h>
-#include <KernelKit/UserMgr.h>
+#include <KernelKit/UserMgr+User.h>
 #include <NeKit/KString.h>
 #include <SignalKit/Signals.h>
 
@@ -54,7 +54,8 @@ EXTERN_C void int_handle_scheduler(Kernel::UIntPtr rsp) {
 
   hal_int_send_eoi(32);
 
-  while (kIsRunning);
+  while (kIsRunning)
+    ;
 
   kIsRunning = YES;
 
diff --git a/src/kernel/HALKit/ARM64/HalKernelMain.cc b/src/kernel/HALKit/ARM64/HalKernelMain.cc
index 3a6e4085..9d2b21d7 100644
--- a/src/kernel/HALKit/ARM64/HalKernelMain.cc
+++ b/src/kernel/HALKit/ARM64/HalKernelMain.cc
@@ -55,6 +55,7 @@ EXTERN_C void hal_init_platform(Kernel::HEL::BootInfoHeader* handover_hdr) {
 
   Kernel::mp_init_cores();
 
-  while (YES);
+  while (YES)
+    ;
 }
 #endif
diff --git a/src/kernel/HALKit/ARM64/Paging.h b/src/kernel/HALKit/ARM64/Paging.h
index 8dedf65f..e5487e22 100644
--- a/src/kernel/HALKit/ARM64/Paging.h
+++ b/src/kernel/HALKit/ARM64/Paging.h
@@ -40,10 +40,14 @@
 
 /// Long format address range
 
-#define cPageMAll {0b000, 0b000}
-#define cPageMToMax(M) {M, 0b000}
-#define cPageMaxToM(M) {0b000, M}
-#define cPageMToN(M, N) {M, N}
+#define cPageMAll \
+  { 0b000, 0b000 }
+#define cPageMToMax(M) \
+  { M, 0b000 }
+#define cPageMaxToM(M) \
+  { 0b000, M }
+#define cPageMToN(M, N) \
+  { M, N }
 
 namespace Kernel::HAL {
 struct PACKED PTE_4KB final {
@@ -81,9 +85,7 @@ namespace Detail {
     PageEnable          = 31,
   };
 
-  inline UInt8 control_register_cast(ControlRegisterBits reg) {
-    return static_cast<UInt8>(reg);
-  }
+  inline UInt8 control_register_cast(ControlRegisterBits reg) { return static_cast<UInt8>(reg); }
 }  // namespace Detail
 
 struct PDE_4KB final {