Change interface for getting and setting current thread

2018-01-26 14:55:59 +01:00
parent c26434f814
commit 1fca5af522
2 changed files with 14 additions and 8 deletions
--- a/src/kernel/include/thread.h
+++ b/src/kernel/include/thread.h
@@ -28,10 +28,6 @@ struct thread
  struct tcb tcb;
 }__attribute__((packed));

-struct thread *current_thread;
-#define GET_CURRENT_THREAD() (current_thread)
-#define SET_CURRENT_THREAD(thread) current_thread = (thread)
-
 struct thread *new_thread(void (*function)(void));
 void yield();
 int get_tid();