start of new file

[IRC.git] / Robust / src / Runtime / thread.h

diff --git a/Robust/src/Runtime/thread.h b/Robust/src/Runtime/thread.h
index 5bb5d19c83e4c66ea31c7c442a34bb9d5d15cc09..e5388ab5985e313b1f1ff9259d137c9144df298f 100644 (file)
--- a/Robust/src/Runtime/thread.h
+++ b/Robust/src/Runtime/thread.h
@@ -10,7 +10,14 @@ extern pthread_cond_t gccond;
 extern pthread_mutex_t objlock;
 extern pthread_cond_t objcond;
 extern pthread_key_t threadlocks;
+#ifdef THREADS
 void initthread(struct ___Thread___ * ___this___);
+#endif
+#ifdef DSTM
+void initDSMthread(int *ptr);
+void startDSMthread(int oid, int objType);
+extern void * virtualtable[];
+#endif
 
 struct locklist {
   struct locklist * next;