summaryrefslogtreecommitdiffhomepage
path: root/dev/ZKAKit/HALKit
diff options
context:
space:
mode:
Diffstat (limited to 'dev/ZKAKit/HALKit')
-rw-r--r--dev/ZKAKit/HALKit/AMD64/HalPagingMgrAMD64.cc7
-rw-r--r--dev/ZKAKit/HALKit/AMD64/HalSchedulerCoreAMD64.cc4
-rw-r--r--dev/ZKAKit/HALKit/ARM64/HalKernelMain.cc3
3 files changed, 8 insertions, 6 deletions
diff --git a/dev/ZKAKit/HALKit/AMD64/HalPagingMgrAMD64.cc b/dev/ZKAKit/HALKit/AMD64/HalPagingMgrAMD64.cc
index 3c7ea836..49968658 100644
--- a/dev/ZKAKit/HALKit/AMD64/HalPagingMgrAMD64.cc
+++ b/dev/ZKAKit/HALKit/AMD64/HalPagingMgrAMD64.cc
@@ -62,7 +62,7 @@ namespace Kernel::HAL
kcout << (pte->User ? "User" : "Not User") << endl;
}
- STATIC Int32 mmi_map_page_table_entry(VoidPtr virtual_address, UInt32 flags, ZKA_PTE* pt_entry, ZKA_PDE* pd_entry);
+ STATIC Int32 mmi_map_page_table_entry(VoidPtr virtual_address, UInt32 flags, ZKA_PTE* pt_entry, ZKA_PDE* pd_entry);
/***********************************************************************************/
/// @brief Maps or allocates a page from virtual_address.
@@ -127,9 +127,10 @@ namespace Kernel::HAL
/// @brief Maps flags for a specific pte.
/// @internal Internal function.
/***********************************************************************************/
- STATIC Int32 mmi_map_page_table_entry(VoidPtr virtual_address, UInt32 flags, ZKA_PTE* pt_entry, ZKA_PDE* pd_entry)
+ STATIC Int32 mmi_map_page_table_entry(VoidPtr virtual_address, UInt32 flags, ZKA_PTE* pt_entry, ZKA_PDE* pd_entry)
{
- if (!pt_entry) return 1;
+ if (!pt_entry)
+ return 1;
pt_entry->Present = true;
diff --git a/dev/ZKAKit/HALKit/AMD64/HalSchedulerCoreAMD64.cc b/dev/ZKAKit/HALKit/AMD64/HalSchedulerCoreAMD64.cc
index 3f768dff..df2cb902 100644
--- a/dev/ZKAKit/HALKit/AMD64/HalSchedulerCoreAMD64.cc
+++ b/dev/ZKAKit/HALKit/AMD64/HalSchedulerCoreAMD64.cc
@@ -22,9 +22,9 @@ namespace Kernel
Bool hal_check_stack(HAL::StackFramePtr stack_ptr)
{
if (!stack_ptr)
- return false;
+ return No;
- return true;
+ return Yes;
}
/// @brief Wakes up thread.
diff --git a/dev/ZKAKit/HALKit/ARM64/HalKernelMain.cc b/dev/ZKAKit/HALKit/ARM64/HalKernelMain.cc
index 81e14bf6..8098c48a 100644
--- a/dev/ZKAKit/HALKit/ARM64/HalKernelMain.cc
+++ b/dev/ZKAKit/HALKit/ARM64/HalKernelMain.cc
@@ -46,5 +46,6 @@ EXTERN_C void hal_init_platform(
Kernel::NeFileSystemMgr::Mount(new Kernel::NeFileSystemMgr());
- while (Yes);
+ while (Yes)
+ ;
}