4 files changed, 7 insertions, 6 deletions
diff --git a/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc b/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
index 14af1a16..7e55aa07 100644
--- a/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
@@ -39,7 +39,8 @@ namespace Detail {
   STATIC BOOL kGICEnabled = NO;
 
   STATIC void mp_hang_fn(void) {
-    while (YES);
+    while (YES)
+      ;
 
     dbg_break_point();
   }
diff --git a/dev/kernel/HALKit/ARM64/HalKernelMain.cc b/dev/kernel/HALKit/ARM64/HalKernelMain.cc
index 3e6701ea..bf5849ef 100644
--- a/dev/kernel/HALKit/ARM64/HalKernelMain.cc
+++ b/dev/kernel/HALKit/ARM64/HalKernelMain.cc
@@ -62,7 +62,8 @@ EXTERN_C void hal_init_platform(Kernel::HEL::BootInfoHeader* handover_hdr) {
       team_index = 0U;
     }
 
-    while (!UserProcessScheduler::The().SwitchTeam(kTeams[team_index]));
+    while (!UserProcessScheduler::The().SwitchTeam(kTeams[team_index]))
+      ;
 
     timer.Wait();
 
diff --git a/dev/kernel/HALKit/ARM64/HalPagingMgrARM64.cc b/dev/kernel/HALKit/ARM64/HalPagingMgrARM64.cc
index 9fcee573..e0b67489 100644
--- a/dev/kernel/HALKit/ARM64/HalPagingMgrARM64.cc
+++ b/dev/kernel/HALKit/ARM64/HalPagingMgrARM64.cc
@@ -46,7 +46,8 @@ EXTERN_C Int32 mm_map_page(VoidPtr virtual_address, VoidPtr physical_address, UI
 
   NE_PAGE_STORE& page_store = NE_PAGE_STORE::The();
 
-  while (page_store.fStoreOp);
+  while (page_store.fStoreOp)
+    ;
 
   page_store.fStoreOp = Yes;
 
diff --git a/dev/kernel/HALKit/ARM64/Paging.h b/dev/kernel/HALKit/ARM64/Paging.h
index e23c0538..2eb02bc1 100644
--- a/dev/kernel/HALKit/ARM64/Paging.h
+++ b/dev/kernel/HALKit/ARM64/Paging.h
@@ -84,9 +84,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 {