pthread_t         194 lib/readline/win32fixes.c int pthread_create(pthread_t *thread, const void *unused,
pthread_t         219 lib/readline/win32fixes.c int pthread_detach (pthread_t thread) {
pthread_t         224 lib/readline/win32fixes.c pthread_t pthread_self(void) {
pthread_t         228 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);