// File: /workspace/github_c_makefile_star2_O2/johsteffens[P]beth/lib/bcore/bcore_tbman.c
// Function: bcore_tbman_s_release_arg_arr
void bcore_tbman_s_release_arg_arr( bcore_tbman_s* o, fp_down_arg down, vc_t arg, vd_t ptr, uz_t size, uz_t step )
{
    if( !ptr ) return;
    tbman_s_lock( o );
    tbman_s_release_arg_arr( o, down, arg, ptr, size, step );
    tbman_s_unlock( o );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r9, 0x20(%rsp)
testq %rcx, %rcx
je 0x9471c
movq %r8, %r15
movq %rcx, %rbp
movq %rdx, %r12
movq %rsi, %r13
movq %rdi, %rbx
leaq 0x2c0(%rdi), %r14
movq %r14, %rdi
callq 0x97ae2
testq %r13, %r13
je 0x94790
movq %r14, 0x18(%rsp)
movq 0x38(%rbx), %rdi
movq %rbp, %rsi
callq 0xa4867
testq %rax, %rax
je 0x9472b
movq %rax, %rdi
movq %rbp, %rax
subq %rdi, %rax
cmpq 0x10(%rbx), %rax
jae 0x9472b
xorl %edx, %edx
divq 0x8(%rdi)
movq 0x30(%rdi), %rdx
testq %rdx, %rdx
movq %rax, 0x10(%rsp)
je 0x948b9
movzwl %ax, %r14d
movl %r14d, %ecx
movq (%rdx,%rcx,8), %rax
testq %rax, %rax
movq %rax, 0x8(%rsp)
je 0x94865
leaq -0x1(%rax), %rcx
movq %rcx, (%rdx,%r14,8)
movq 0x38(%rdi), %rbx
testq %rbx, %rbx
jne 0x94875
movq %rdi, %rbx
callq 0x97286
movq %rbx, %rdi
movq 0x38(%rbx), %rbx
jmp 0x94875
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xb8(%rbx), %rdi
movq %rbp, %rsi
callq 0xa34a6
movq %rax, %r14
testq %rax, %rax
jne 0x94763
leaq 0x36d21(%rip), %rdi     # 0xcb46a
leaq 0x365cd(%rip), %rsi     # 0xcad1d
leaq 0x36ba1(%rip), %rcx     # 0xcb2f8
movl $0x5a8, %edx            # imm = 0x5A8
xorl %eax, %eax
callq 0x60031
movq (%r14), %rcx
movq 0x8(%rcx), %r14
testq %r14, %r14
movq %rcx, 0x8(%rsp)
je 0x947a0
leaq -0x1(%r14), %rax
movq %rax, 0x8(%rcx)
leaq 0x10(%rcx), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rcx), %rsi
testq %rsi, %rsi
jne 0x947b2
jmp 0x947df
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x93e01
jmp 0x9493c
movq 0x10(%rcx), %rsi
testq %rsi, %rsi
je 0x94803
leaq 0x10(%rcx), %rax
movq %rax, 0x10(%rsp)
movq (%rsi), %rax
leaq 0x2e22(%rip), %rcx      # 0x975de
cmpq %rcx, %rax
sete %cl
leaq 0x2e3d(%rip), %rdx      # 0x97606
cmpq %rdx, %rax
sete %al
orb %cl, %al
jne 0x9483e
movq 0xd0(%rbx), %rdi
callq 0x9716d
movq 0xd0(%rbx), %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %r15, %rcx
movq 0x20(%rsp), %r8
callq 0x97668
movq 0x10(%rsp), %rcx
movq %rax, (%rcx)
jmp 0x9483e
movq %r14, 0x10(%rsp)
movq 0xd8(%rbx), %rdi
callq 0x97b12
movq %rbp, %r14
subq $0x1, %r15
jb 0x9482d
movq %r12, %rdi
movq %r14, %rsi
callq *%r13
addq 0x20(%rsp), %r14
jmp 0x94817
movq 0xd8(%rbx), %rdi
callq 0x97ae2
movq 0x10(%rsp), %r14
testq %r14, %r14
movq 0x18(%rsp), %r14
jne 0x9493c
addq $0x40, %rbx
movq %rbx, %rdi
movq %rbp, %rsi
movq 0x8(%rsp), %rdx
callq 0x971cc
jmp 0x9493c
movq 0x38(%rdi), %rbx
testq %rbx, %rbx
je 0x948b9
cmpq $0x0, (%rbx,%r14,8)
je 0x948b9
movq (%rbx,%r14,8), %rsi
testq %rsi, %rsi
je 0x94911
movq (%rsi), %rax
leaq 0x2d52(%rip), %rcx      # 0x975de
cmpq %rcx, %rax
sete %cl
leaq 0x2d6d(%rip), %rdx      # 0x97606
cmpq %rdx, %rax
sete %al
orb %cl, %al
je 0x94902
cmpq $0x0, 0x8(%rsp)
movq 0x18(%rsp), %r14
movq %rdi, %rbp
jne 0x9493c
jmp 0x948f3
movq %rdi, 0x8(%rsp)
movq 0x18(%rdi), %rdi
callq 0x97b12
movq 0x18(%rsp), %r14
movq 0x20(%rsp), %rbx
subq $0x1, %r15
jb 0x948e5
movq %r12, %rdi
movq %rbp, %rsi
callq *%r13
addq %rbx, %rbp
jmp 0x948d1
movq 0x8(%rsp), %rbp
movq 0x18(%rbp), %rdi
callq 0x97ae2
movzwl 0x10(%rsp), %esi
movq %rbp, %rdi
callq 0x96f7e
jmp 0x9493c
movq %rdi, %rbp
movq 0x40(%rdi), %rdi
callq 0x9716d
movq %rbp, %rdi
movq %rdi, %rbp
movq 0x40(%rdi), %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %r15, %rcx
movq 0x20(%rsp), %r8
callq 0x97668
movq %rax, (%rbx,%r14,8)
cmpq $0x0, 0x8(%rsp)
movq 0x18(%rsp), %r14
je 0x948f3
movq %r14, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x97b12