/* syscall: "clock_settime" ret: "int" args: "clockid_t" "linux32_timespecp_t" */