/* syscall: "netbsd32___timer_gettime50" ret: "int" args: "timer_t" "netbsd32_itimerspecp_t" */