netbsd32_to_timeval50
netbsd32_to_timeval50(&tv32[1], &tv[1]);
netbsd32_to_timeval50(&atv32, &atv);
netbsd32_to_timeval50(&tv32[0], &tv[0]);
netbsd32_to_timeval50(&itv32->it_interval, &itv->it_interval);
netbsd32_to_timeval50(&itv32->it_value, &itv->it_value);