20 #ifndef KERNEL_PROCESSOR_HOSTED_PROCESSORINFORMATION_H 21 #define KERNEL_PROCESSOR_HOSTED_PROCESSORINFORMATION_H 23 #include "pedigree/kernel/processor/types.h" 46 uintptr_t getKernelStack()
const;
47 void setKernelStack(uintptr_t stack);
49 Thread *getCurrentThread()
const;
50 void setCurrentThread(
Thread *pThread);
The exception was caused by a hardware task switch.