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