Thread(thrd_t *t);
int swap(Thread *t);
void dispose();
- int switch_to_master(ModelAction *act);
thread_state get_state() { return state; }
void set_state(thread_state s) { state = s; }
Thread *thread_current();
+static inline thread_id_t thrd_to_id(thrd_t t)
+{
+ return t;
+}
+
#endif /* __THREADS_INTERNAL_H__ */