/* syscall: "clock_gettime" ret: "int" args: "clockid_t" "struct linux_timespec *" */