/* syscall: "netbsd32__ksem_timedwait" ret: "int" args: "intptr_t" "const netbsd32_timespecp_t" */