Kernel: Update TODO.

Src: Refactorings according to clang-format.
Meta: Update specification.
Public: Remove useless UIKit.

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

1 files changed, 38 insertions, 43 deletions

diff --git a/Private/HALKit/AMD64/HalPageAlloc.cpp b/Private/HALKit/AMD64/HalPageAlloc.cpp
index 07cfbecf..25757942 100644
--- a/Private/HALKit/AMD64/HalPageAlloc.cpp
+++ b/Private/HALKit/AMD64/HalPageAlloc.cpp
@@ -16,46 +16,41 @@
 static hCore::UIntPtr kPagePtr = kPagePtrAddress;
 static hCore::SizeT kPageCnt = 0UL;
 
-namespace hCore
-{
-    namespace HAL
-    {
-        static auto hal_try_alloc_new_page(SizeT sz, Boolean rw, Boolean user) -> PageTable64*
-        {
-            char *ptr = &(reinterpret_cast<char*>(kPagePtr))[kPageCnt + 1];
-
-            PageTable64 *pte = reinterpret_cast<PageTable64*>(ptr);
-            pte->Rw = rw;
-            pte->User = user;
-            pte->Present = true;
-
-            return pte;
-        }
-
-        auto hal_alloc_page(SizeT sz, Boolean rw, Boolean user) -> PageTable64*
-        {
-            for (SizeT i = 0; i < kPageCnt; ++i)
-            {
-                PageTable64 *pte = (reinterpret_cast<PageTable64*>(&kPagePtr) + i);
-
-                if (!pte->Present) {
-                    pte->User = user;
-                    pte->Rw = rw;
-                    pte->Present = true;
-
-                    return pte;
-                }
-            }
-
-            return hal_try_alloc_new_page(sz, rw, user);
-        }
-
-        auto hal_create_page(Boolean rw, Boolean user) -> UIntPtr
-        {
-            PageTable64 *new_pte = hal_alloc_page(sizeof(PageTable64), rw, user);
-            MUST_PASS(new_pte);
-
-            return reinterpret_cast<UIntPtr>(new_pte);
-        }
-    } // namespace HAL
-} // namespace hCore
+namespace hCore {
+namespace HAL {
+static auto hal_try_alloc_new_page(SizeT sz, Boolean rw, Boolean user)
+    -> PageTable64 * {
+  char *ptr = &(reinterpret_cast<char *>(kPagePtr))[kPageCnt + 1];
+
+  PageTable64 *pte = reinterpret_cast<PageTable64 *>(ptr);
+  pte->Rw = rw;
+  pte->User = user;
+  pte->Present = true;
+
+  return pte;
+}
+
+auto hal_alloc_page(SizeT sz, Boolean rw, Boolean user) -> PageTable64 * {
+  for (SizeT i = 0; i < kPageCnt; ++i) {
+    PageTable64 *pte = (reinterpret_cast<PageTable64 *>(&kPagePtr) + i);
+
+    if (!pte->Present) {
+      pte->User = user;
+      pte->Rw = rw;
+      pte->Present = true;
+
+      return pte;
+    }
+  }
+
+  return hal_try_alloc_new_page(sz, rw, user);
+}
+
+auto hal_create_page(Boolean rw, Boolean user) -> UIntPtr {
+  PageTable64 *new_pte = hal_alloc_page(sizeof(PageTable64), rw, user);
+  MUST_PASS(new_pte);
+
+  return reinterpret_cast<UIntPtr>(new_pte);
+}
+}  // namespace HAL
+}  // namespace hCore