x

2c2c24be · Nickolai Zeldovich · 8af08b12 · 2c2c24be · 2c2c24be
--- a/include/user.h
+++ b/include/user.h
@@ -50,7 +50,7 @@ int atoi(const char*);
 // uthread.S
 int forkt(void *sp, void *pc, void *arg);
-void forkt_setup(void);
+void forkt_setup(u64 pid);
 // printf.c
 void printf(const char*, ...);

--- a/lib/threads.cc
+++ b/lib/threads.cc
@@ -11,7 +11,7 @@ struct tlsdata {
 };
 void
-forkt_setup()
+forkt_setup(u64 pid)
 {
  tlsdata* t = (tlsdata*) sbrk(sizeof(*t));
  setfs((u64) t);