// File: /workspace/github_c_makefile_star2_O0/johsteffens[P]beth/lib/bcore/bcore_tbman.c
// Function: token_manager_s_release_obj_arr
static void token_manager_s_release_obj_arr( token_manager_s* o, fp_down_obj down, vd_t ptr, uz_t size, uz_t step )
{
    u1_t token = ( ( ptrdiff_t )( ( u0_t* )ptr - ( u0_t* )o ) ) / o->block_size;

    bl_t free_token = true;
    bl_t direct_down = true;

    if( o->rc_count_arr )
    {
        if( o->rc_count_arr[ token ] )
        {
            o->rc_count_arr[ token ]--;
            if( !o->rc_down_arr ) token_manager_s_create_rc_down_arr( o );
            free_token = false;
            direct_down = false;
        }
        else if( o->rc_down_arr && o->rc_down_arr[ token ] )
        {
            direct_down = false;
        }
    }

    if( direct_down )
    {
        bcore_mutex_s_unlock( o->mutex );
        for( uz_t i = 0; i < size; i++ ) down( ( u0_t* )ptr + i * step );
        bcore_mutex_s_lock( o->mutex );
    }
    else
    {
        down_s** p_down = ( down_s** )&o->rc_down_arr[ token ];

        if
        (
            !( *p_down ) ||
            (
                ( ( *p_down )->_ != ( fp_down )_down_obj_arr ) &&
                ( ( *p_down )->_ != ( fp_down )_down_arg_arr )
            )
        )
        {
            if( *p_down )
            {
                down_s_discard( o->down_manager, *p_down );  // *p_down came from a forked reference
            }
            *p_down = ( down_s* )down_obj_arr_s_create( o->down_manager, down, size, step );
        }
    }

    if( free_token )
    {
        token_manager_s_free_token( o, token );
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq -0x8(%rbp), %rcx
subq %rcx, %rax
movq -0x8(%rbp), %rcx
xorl %edx, %edx
divq 0x8(%rcx)
movw %ax, -0x2a(%rbp)
movb $0x1, -0x2b(%rbp)
movb $0x1, -0x2c(%rbp)
movq -0x8(%rbp), %rax
cmpq $0x0, 0x30(%rax)
je 0x10e1e7
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movzwl -0x2a(%rbp), %ecx
cmpq $0x0, (%rax,%rcx,8)
je 0x10e1c1
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movzwl -0x2a(%rbp), %ecx
movq (%rax,%rcx,8), %rdx
addq $-0x1, %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x8(%rbp), %rax
cmpq $0x0, 0x38(%rax)
jne 0x10e1b7
movq -0x8(%rbp), %rdi
callq 0x10d740
movb $0x0, -0x2b(%rbp)
movb $0x0, -0x2c(%rbp)
jmp 0x10e1e5
movq -0x8(%rbp), %rax
cmpq $0x0, 0x38(%rax)
je 0x10e1e3
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movzwl -0x2a(%rbp), %ecx
cmpq $0x0, (%rax,%rcx,8)
je 0x10e1e3
movb $0x0, -0x2c(%rbp)
jmp 0x10e1e5
jmp 0x10e1e7
testb $0x1, -0x2c(%rbp)
je 0x10e242
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x10fc70
movq $0x0, -0x38(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x10e230
movq -0x10(%rbp), %rax
movq -0x18(%rbp), %rdi
movq -0x38(%rbp), %rcx
imulq -0x28(%rbp), %rcx
addq %rcx, %rdi
callq *%rax
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
jmp 0x10e202
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x10fc20
jmp 0x10e2cc
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movzwl -0x2a(%rbp), %ecx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cmpq $0x0, (%rax)
je 0x10e289
movq -0x40(%rbp), %rax
movq (%rax), %rax
leaq 0x22f(%rip), %rcx       # 0x10e4a0
cmpq %rcx, (%rax)
je 0x10e2ca
movq -0x40(%rbp), %rax
movq (%rax), %rax
leaq 0x27c(%rip), %rcx       # 0x10e500
cmpq %rcx, (%rax)
je 0x10e2ca
movq -0x40(%rbp), %rax
cmpq $0x0, (%rax)
je 0x10e2a7
movq -0x8(%rbp), %rax
movq 0x40(%rax), %rdi
movq -0x40(%rbp), %rax
movq (%rax), %rsi
callq 0x10cf80
movq -0x8(%rbp), %rax
movq 0x40(%rax), %rdi
movq -0x10(%rbp), %rsi
movq -0x20(%rbp), %rdx
movq -0x28(%rbp), %rcx
callq 0x10e560
movq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, (%rax)
jmp 0x10e2cc
testb $0x1, -0x2b(%rbp)
je 0x10e2df
movq -0x8(%rbp), %rdi
movzwl -0x2a(%rbp), %esi
callq 0x10ce30
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)