1#define _BSD_SOURCE
 2#include "time32.h"
 3#include <sys/time.h>
 4
 5int __settimeofday_time32(const struct timeval32 *tv32, const void *tz)
 6{
 7	return settimeofday(!tv32 ? 0 : (&(struct timeval){
 8		.tv_sec = tv32->tv_sec,
 9		.tv_usec = tv32->tv_usec}), 0);
10}