/* syscall: "netbsd32___clock_gettime50" ret: "int" args: "clockid_t" "netbsd32_timespecp_t" */