X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.h;h=f1d3dc56f0085408fc3ffb2c49f55dad2d26e38c;hp=513a92a70700528b72bac48511f11287d437ebfd;hb=f346ab3d093634eb5fcd60aec0893081f39a85fb;hpb=11349f4e83c1446d5c678384a7d45e410c82c3e2

diff --git a/execution.h b/execution.h
index 513a92a7..f1d3dc56 100644
--- a/execution.h
+++ b/execution.h
@@ -212,20 +212,6 @@ private:
 	 * This data structure is handled by ModelHistory
 	 */
 	SnapVector< SnapList< func_inst_list_t *> *> thrd_func_inst_lists;
-
-#ifdef TLS
-public:
-	char * getTLSBase() {return tls_base;}
-	uintptr_t getTLSAddr() {return tls_addr;}
-	uintptr_t getTLSSize() {if (!tls_base) initTLS();return tls_size;}
-	uintptr_t getThdDescSize() {return thd_desc_size;}
-private:
-	void initTLS();
-	char * tls_base;
-	uintptr_t tls_addr;
-	uintptr_t tls_size;
-	uintptr_t thd_desc_size;
-#endif
 };
 
 #endif	/* __EXECUTION_H__ */