From 2fe8c419e2724a7009d39e4adeb05de7569d5d11 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 27 Aug 2025 16:56:41 +0200
Subject: feat: docs/tex: Update OpenHeFS specs.

feat: HAL/amd64: Harden AP files.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 dev/kernel/HALKit/POWER/HalApplicationProcessor.cc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'dev/kernel/HALKit/POWER')

diff --git a/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc b/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
index daa26e53..c2703af6 100644
--- a/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
@@ -8,6 +8,8 @@
 #include <HALKit/POWER/Processor.h>
 #include <KernelKit/DebugOutput.h>
 
+/// @note This part of the HAL needs an owner.
+
 namespace Kernel::Detail {
 STATIC void mp_hang_fn(void) {
   while (YES)
@@ -21,6 +23,9 @@ namespace Kernel {
 void mp_wakeup_thread(HAL::StackFramePtr stack) {
   if (!stack) return;
 
+  MUST_PASS(stack->R15 > 0);
+  MUST_PASS(stack->IP > 0);
+
   hal_set_pc_to_hart(reinterpret_cast<HAL_HARDWARE_THREAD*>(stack->R15),
                      reinterpret_cast<VoidPtr>(stack->IP));
 }
@@ -30,7 +35,9 @@ void mp_wakeup_thread(HAL::StackFramePtr stack) {
 void mp_hang_thread(HAL::StackFramePtr stack) {
   if (!stack) return;
 
+  MUST_PASS(stack->R15 > 0);
+
   hal_set_pc_to_hart(reinterpret_cast<HAL_HARDWARE_THREAD*>(stack->R15),
                      reinterpret_cast<VoidPtr>(Kernel::Detail::mp_hang_fn));
 }
-}  // namespace Kernel
\ No newline at end of file
+}  // namespace Kernel
-- 
cgit v1.2.3