/* syscall: "_ksem_getvalue" ret: "int" args: "intptr_t" "unsigned int *" */