Add KInterruptBottomHalfGuard

mesosphere/source/core/KSynchronizationObject.cpp

@@ -1,6 +1,5 @@
 #include <mesosphere/core/KSynchronizationObject.hpp>
 #include <mesosphere/core/Result.hpp>
-#include <mesosphere/core/KCoreContext.hpp>
 #include <mesosphere/threading/KScheduler.hpp>
 #include <mesosphere/threading/KThread.hpp>
 

mesosphere/source/interrupts/KAlarm.cpp

@@ -1,5 +1,4 @@
 #include <mesosphere/interrupts/KAlarm.hpp>
-#include <mesosphere/core/KCoreContext.hpp>
 #include <mesosphere/threading/KScheduler.hpp>
 #include <mesosphere/arch/KInterruptMaskGuard.hpp>
 

mesosphere/source/processes/KEvent.cpp

@@ -1,5 +1,4 @@
 #include <mesosphere/processes/KEvent.hpp>
-#include <mesosphere/core/KCoreContext.hpp>
 #include <mesosphere/processes/KProcess.hpp>
 
 namespace mesosphere

mesosphere/source/processes/KHandleTable.cpp

@@ -1,7 +1,6 @@
 #include <mutex>
 #include <algorithm>
 #include <mesosphere/processes/KHandleTable.hpp>
-#include <mesosphere/core/KCoreContext.hpp>
 #include <mesosphere/threading/KThread.hpp>
 
 namespace mesosphere

mesosphere/source/threading/KThread.cpp

@@ -4,7 +4,6 @@
 
 #include <mesosphere/threading/KThread.hpp>
 #include <mesosphere/threading/KScheduler.hpp>
-#include <mesosphere/core/KCoreContext.hpp>
 
 namespace mesosphere
 {