/* syscall: "netbsd32__ksem_wait" ret: "int" args: "netbsd32_intptr_t" */