X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=e159697d9d54ce10c3cfb1fe204352a9e0bd7435;hb=cae88a8c7de282bc4c76fa5c75e5f37107bcd5d0;hp=f2162a89e55752ffde61e74ebf3f0c675584d4ba;hpb=a72579537233ec7d21ac24d895b9cbe7cfe16f2d;p=c11tester.git

diff --git a/threads-model.h b/threads-model.h
index f2162a89..e159697d 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -101,6 +101,8 @@ public:
 
 	bool is_model_thread() const { return model_thread; }
 
+	void * get_stack_addr() { return stack; }
+
 	friend void thread_startup();
 #ifdef TLS
 	friend void setup_context();
@@ -156,7 +158,9 @@ private:
 	void *arg;
 	ucontext_t context;
 	void *stack;
+	uint32_t stack_size;
 #ifdef TLS
+	void * helper_stack;
 public:
 	char *tls;
 	ucontext_t helpercontext;
@@ -185,11 +189,12 @@ private:
 
 #ifdef TLS
 uintptr_t get_tls_addr();
+void tlsdestructor(void *v);
 #endif
 
 Thread * thread_current();
 void thread_startup();
-void main_thread_startup();
+void initMainThread();
 
 static inline thread_id_t thrd_to_id(thrd_t t)
 {