#if defined(THREADED_RTS)
#include "OSThreads.h"
#include "RtsUtils.h"
+#include "Task.h"
#if HAVE_STRING_H
#include <string.h>
#endif
return;
}
+void
+closeMutex(Mutex* pMut)
+{
+ pthread_mutex_destroy(pMut);
+}
void
newThreadLocalKey (ThreadLocalKey *key)
Capability *cap;
cap = rts_lock();
cap = rts_evalStableIO(cap, (HsStablePtr) entry, NULL);
+ taskTimeStamp(myTask());
rts_unlock(cap);
return NULL;
}