pthread_t         195 lib/readline/win32fixes.c int pthread_create(pthread_t *thread, const void *unused,
pthread_t         223 lib/readline/win32fixes.c int pthread_detach (pthread_t thread) {
pthread_t         228 lib/readline/win32fixes.c pthread_t pthread_self(void) {
pthread_t         232 lib/readline/win32fixes.c int win32_pthread_join(pthread_t *thread, void **value_ptr)  {
pthread_t         260 lib/readline/win32fixes.h int pthread_create(pthread_t *thread, const void *unused,
pthread_t         263 lib/readline/win32fixes.h pthread_t pthread_self(void);
pthread_t         278 lib/readline/win32fixes.h int pthread_detach (pthread_t thread);