1 // This file should only be included by include/kern/thread.h.
3 #ifndef _ARCH_CURRENT_H
4 #define _ARCH_CURRENT_H
7 static inline Threads::Thread *get_current_thread() __attribute__((const));
9 static inline Threads::Thread *get_current_thread()
17 ret += ArchThread::size - Threads::thread_size;
19 return reinterpret_cast<Threads::Thread *>(ret);