itimerspec32_t
itimerspec32_t dest32;
if (copyin((void *)addr, &dest32, sizeof (itimerspec32_t)) != 0)
itimerspec32_t src32;
if (copyout(&src32, (void *)addr, sizeof (itimerspec32_t)) != 0)
itimerspec32_t w32;
if (copyout(&w32, val, sizeof (itimerspec32_t)))
itimerspec32_t w32;
if (copyin(val, &w32, sizeof (itimerspec32_t)))