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