diff options
Diffstat (limited to 'src/port/pthread-win32.h')
| -rw-r--r-- | src/port/pthread-win32.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/port/pthread-win32.h b/src/port/pthread-win32.h new file mode 100644 index 00000000000..dfcdd328ec0 --- /dev/null +++ b/src/port/pthread-win32.h @@ -0,0 +1,19 @@ +#ifndef __PTHREAD_H +#define __PTHREAD_H + +typedef ULONG pthread_key_t; +typedef HANDLE pthread_mutex_t; +typedef int pthread_once_t; + +DWORD pthread_self(); + +void pthread_setspecific(pthread_key_t, void *); +void *pthread_getspecific(pthread_key_t); + +void pthread_mutex_init(pthread_mutex_t *, void *attr); +void pthread_mutex_lock(pthread_mutex_t *); + +/* blocking */ +void pthread_mutex_unlock(pthread_mutex_t *); + +#endif |