1#include "time32.h"
2#include <time.h>
3#include <threads.h>
4
5int __cnd_timedwait_time32(cnd_t *restrict c, mtx_t *restrict m, const struct timespec32 *restrict ts32)
6{
7	return cnd_timedwait(c, m, ts32 ? (&(struct timespec){
8		.tv_sec = ts32->tv_sec, .tv_nsec = ts32->tv_nsec}) : 0);
9}