|
@@ -24,10 +24,10 @@
|
|
|
#include <Kernel/Arch/Processor.h>
|
|
|
#include <Kernel/Arch/SafeMem.h>
|
|
|
#include <Kernel/Arch/ScopedCritical.h>
|
|
|
+#include <Kernel/Arch/TrapFrame.h>
|
|
|
#include <Kernel/Arch/x86/CPUID.h>
|
|
|
#include <Kernel/Arch/x86/MSR.h>
|
|
|
#include <Kernel/Arch/x86/ProcessorInfo.h>
|
|
|
-#include <Kernel/Arch/x86/TrapFrame.h>
|
|
|
|
|
|
#include <Kernel/Memory/PageDirectory.h>
|
|
|
#include <Kernel/Memory/ScopedAddressSpaceSwitcher.h>
|