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

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r8, 0x18(%rsp)
testq %rdx, %rdx
je 0x94455
movq %rcx, %r15
movq %rdx, %r14
movq %rsi, %r12
movq %rdi, %rbp
leaq 0x2c0(%rdi), %r13
movq %r13, %rdi
callq 0x97ae2
testq %r12, %r12
je 0x944c4
movq 0x38(%rbp), %rdi
movq %r14, %rsi
callq 0xa4867
testq %rax, %rax
movq %r13, 0x10(%rsp)
je 0x94464
movq %rax, %rbx
movq %r14, %rax
subq %rbx, %rax
cmpq 0x10(%rbp), %rax
jae 0x94464
xorl %edx, %edx
divq 0x8(%rbx)
movq 0x30(%rbx), %rdx
testq %rdx, %rdx
movq %rax, 0x8(%rsp)
je 0x9460a
movzwl %ax, %r13d
movl %r13d, %ecx
movq (%rdx,%rcx,8), %rax
testq %rax, %rax
movq %rax, 0x20(%rsp)
je 0x9459d
leaq -0x1(%rax), %rcx
movq %rcx, (%rdx,%r13,8)
movq 0x38(%rbx), %rbp
testq %rbp, %rbp
jne 0x945ae
movq %rbx, %rdi
callq 0x97286
movq 0x38(%rbx), %rbp
jmp 0x945ae
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xb8(%rbp), %rdi
movq %r14, %rsi
callq 0xa34a6
movq %rax, %rbx
testq %rax, %rax
jne 0x9449c
leaq 0x36fc5(%rip), %rdi     # 0xcb447
leaq 0x36894(%rip), %rsi     # 0xcad1d
leaq 0x36e68(%rip), %rcx     # 0xcb2f8
movl $0x570, %edx            # imm = 0x570
xorl %eax, %eax
callq 0x60031
movq (%rbx), %rbx
movq 0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x944d4
leaq -0x1(%rdi), %rax
movq %rax, 0x8(%rbx)
leaq 0x10(%rbx), %rax
movq %rax, 0x8(%rsp)
movq 0x10(%rbx), %rsi
testq %rsi, %rsi
jne 0x944e6
jmp 0x94519
movq %rbp, %rdi
movq %r14, %rsi
callq 0x93e01
jmp 0x94644
movq 0x10(%rbx), %rsi
testq %rsi, %rsi
je 0x94540
leaq 0x10(%rbx), %rax
movq %rax, 0x8(%rsp)
movq (%rsi), %rax
leaq 0x30ee(%rip), %rcx      # 0x975de
cmpq %rcx, %rax
sete %cl
leaq 0x3109(%rip), %rdx      # 0x97606
cmpq %rdx, %rax
sete %al
orb %cl, %al
jne 0x94578
movq %rdi, %r13
movq 0xd0(%rbp), %rdi
callq 0x9716d
movq %r13, %rdi
movq %rdi, %r13
movq 0xd0(%rbp), %rdi
movq %r12, %rsi
movq %r15, %rdx
movq 0x18(%rsp), %rcx
callq 0x97632
movq %r13, %rdi
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
jmp 0x94578
movq %rdi, 0x8(%rsp)
movq 0xd8(%rbp), %rdi
callq 0x97b12
movq %r14, %r13
subq $0x1, %r15
jb 0x94567
movq %r13, %rdi
callq *%r12
addq 0x18(%rsp), %r13
jmp 0x94554
movq 0xd8(%rbp), %rdi
callq 0x97ae2
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
movq 0x10(%rsp), %r13
jne 0x94644
addq $0x40, %rbp
movq %rbp, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x971cc
jmp 0x94644
movq 0x38(%rbx), %rbp
testq %rbp, %rbp
je 0x9460a
cmpq $0x0, (%rbp,%r13,8)
je 0x9460a
movq (%rbp,%r13,8), %rsi
testq %rsi, %rsi
je 0x945e2
movq (%rsi), %rax
leaq 0x301c(%rip), %rcx      # 0x975de
cmpq %rcx, %rax
sete %cl
leaq 0x3037(%rip), %rdx      # 0x97606
cmpq %rdx, %rax
sete %al
orb %cl, %al
jne 0x945fb
movq 0x40(%rbx), %rdi
callq 0x9716d
movq 0x40(%rbx), %rdi
movq %r12, %rsi
movq %r15, %rdx
movq 0x18(%rsp), %rcx
callq 0x97632
movq %rax, (%rbp,%r13,8)
cmpq $0x0, 0x20(%rsp)
movq 0x10(%rsp), %r13
jne 0x94644
jmp 0x94637
movq 0x18(%rbx), %rdi
callq 0x97b12
movq 0x10(%rsp), %r13
movq 0x18(%rsp), %rbp
subq $0x1, %r15
jb 0x9462e
movq %r14, %rdi
callq *%r12
addq %rbp, %r14
jmp 0x9461d
movq 0x18(%rbx), %rdi
callq 0x97ae2
movzwl 0x8(%rsp), %esi
movq %rbx, %rdi
callq 0x96f7e
movq %r13, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x97b12