sfan5 66c3110a85 win32/pthread: implement clock_gettime for high-res timer purposes ...

Also apply some fixes to pthread_cond_timedwait while we're at it.

Note that by using GetSystemTimePreciseAsFileTime here we lose support
for Windows 7. This is considered acceptable.

2023-10-20 21:30:51 +02:00

..

include

win32/pthread: implement clock_gettime for high-res timer purposes

2023-10-20 21:30:51 +02:00

pthread.c

win32/pthread: implement clock_gettime for high-res timer purposes

2023-10-20 21:30:51 +02:00