/* syscall: "netbsd32__ksem_getvalue" ret: "int" args: "netbsd32_intptr_t" "netbsd32_intp" */