20 #ifndef KERNEL_PROCESSOR_ARM_COMMON_PROCESSORINFORMATION_H 21 #define KERNEL_PROCESSOR_ARM_COMMON_PROCESSORINFORMATION_H 23 #include "pedigree/kernel/process/PerProcessorScheduler.h" 24 #include "pedigree/kernel/process/Thread.h" 25 #include "pedigree/kernel/processor/VirtualAddressSpace.h" 26 #include "pedigree/kernel/processor/types.h" 53 inline uintptr_t getKernelStack()
const;
54 inline void setKernelStack(uintptr_t stack);
56 inline Thread *getCurrentThread()
const 60 inline void setCurrentThread(
Thread *pThread)
118 uintptr_t ArmCommonProcessorInformation::getKernelStack()
const 149 void ArmCommonProcessorInformation::setKernelStack(uintptr_t stack)
static EXPORTED_PUBLIC VirtualAddressSpace & getKernelAddressSpace()
The exception was caused by a hardware task switch.