20#ifndef KERNEL_PROCESSOR_HOSTED_PROCESSORINFORMATION_H
21#define KERNEL_PROCESSOR_HOSTED_PROCESSORINFORMATION_H
24#define _PROCESSOR_INFORMATION_ONLY_WANT_PROCESSORID
25#include "pedigree/kernel/processor/ProcessorInformation.h"
26#undef _PROCESSOR_INFORMATION_ONLY_WANT_PROCESSORID
28#include "pedigree/kernel/compiler.h"
29#include "pedigree/kernel/process/RcuReadState.h"
30#include "pedigree/kernel/processor/types.h"
54 uintptr_t getKernelStack()
const;
55 void setKernelStack(uintptr_t stack);
56 EXPORTED_PUBLIC
Thread* getCurrentThread()
const;
57 void setCurrentThread(
Thread* pThread);