git.iko.soy/Idris-dev
on dcdebfc help sign in
Idris-dev/support/threads.h
11 lines 239 B history raw
1#ifndef _THREADS_H
2#define _THREADS_H
4int idris_newLock();
5void idris_doLock(int lock);
6void idris_doUnlock(int lock);
7void idris_doFork(void* proc);
8void* idris_doWithin(int limit, void* proc, void* doOnFail);
9int idris_utime();
11#endif