#include <stdint.h>
#include "mymemory.h"
-#include <threads.h>
+#include "threads.h"
#include "modeltypes.h"
#include "stl-model.h"
#include "context.h"
};
Thread * thread_current();
+void thread_startup();
static inline thread_id_t thrd_to_id(thrd_t t)
{
return id;
}
-#endif /* __THREADS_MODEL_H__ */
+#endif /* __THREADS_MODEL_H__ */