From fc0d38259fd6670966b916b1f28a11f3cb2a4c45 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>
Date: Sat, 1 Jun 2024 09:29:31 +0200
Subject: MHR-23: SMP: Add hal_send_start_ipi and hal_send_end_ipi, as well as
 DMA utilities.

Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>
---
 Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp')

diff --git a/Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp b/Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp
index 0ac7a50e..d06dc6a6 100644
--- a/Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp
+++ b/Kernel/HALKit/AMD64/HalCoreInterruptHandlerAMD64.cpp
@@ -5,7 +5,7 @@
 ------------------------------------------- */
 
 #include <ArchKit/ArchKit.hpp>
-#include <KernelKit/ProcessScheduler.hpp>
+#include <KernelKit/ProcessScheduler.hxx>
 #include <NewKit/String.hpp>
 
 /// @brief Handle GPF fault.
-- 
cgit v1.2.3