/* syscall: "_ksem_timedwait" ret: "int" args: "intptr_t" "const struct timespec *" */