1 files changed, 5 insertions, 0 deletions
diff --git a/common/tcb.c b/common/tcb.c
index 1547d49..cbbfa47 100644
--- a/common/tcb.c
+++ b/common/tcb.c
@@ -67,3 +67,8 @@ struct tcb *cur_tcb()
 {
 	return __tcb_cache[cpu_id()];
 }
+
+void set_tcb(struct tcb *t)
+{
+	__tcb_cache[cpu_id()] = t;
+}