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