// File: /workspace/github_c_makefile_star2_O1/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:
testq %rdx, %rdx
je 0x11b419
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r15
movq %rdx, %r14
movq %rsi, %r12
movq %rdi, %rbx
movq %r8, 0x10(%rsp)
leaq 0x2c0(%rdi), %r13
movq %r13, %rdi
callq 0x11f515
testq %r12, %r12
je 0x11b46e
movq 0x38(%rbx), %rdi
movq %r14, %rsi
callq 0x131e3e
testq %rax, %rax
je 0x11b41a
movq %rax, %rbp
movq %r14, %rax
subq %rbp, %rax
cmpq 0x10(%rbx), %rax
jae 0x11b41a
xorl %edx, %edx
divq 0x8(%rbp)
movq 0x30(%rbp), %rsi
movb $0x1, %bl
testq %rsi, %rsi
movq %r13, 0x18(%rsp)
movq %rax, 0x8(%rsp)
je 0x11b576
movzwl %ax, %ecx
movl %ecx, %edx
movq (%rsi,%rdx,8), %rdx
testq %rdx, %rdx
je 0x11b562
decq %rdx
movq %rdx, (%rsi,%rcx,8)
cmpq $0x0, 0x38(%rbp)
je 0x11b57b
xorl %r13d, %r13d
jmp 0x11b5a3
retq
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
callq 0x130a3e
movq %rax, %rbp
testq %rax, %rax
jne 0x11b452
leaq 0x3cf87(%rip), %rdi     # 0x1583bf
leaq 0x3c856(%rip), %rsi     # 0x157c95
leaq 0x3ce2a(%rip), %rcx     # 0x158270
movl $0x570, %edx            # imm = 0x570
xorl %eax, %eax
callq 0xc80f6
movq (%rbp), %rbp
movq 0x8(%rbp), %rdi
testq %rdi, %rdi
movq %rdi, 0x8(%rsp)
je 0x11b47e
leaq -0x1(%rdi), %rax
movq %rax, 0x8(%rbp)
jmp 0x11b489
movq %rbx, %rdi
movq %r14, %rsi
callq 0x11ad64
jmp 0x11b657
cmpq $0x0, 0x10(%rbp)
je 0x11b514
movq 0x10(%rbp), %rsi
testq %rsi, %rsi
je 0x11b4bf
movq (%rsi), %rax
leaq 0x3c33(%rip), %rcx      # 0x11f0cf
cmpq %rcx, %rax
sete %cl
leaq 0x3c50(%rip), %rdx      # 0x11f0f9
cmpq %rdx, %rax
sete %al
orb %cl, %al
jne 0x11b4f4
movq 0xd0(%rbx), %rdi
callq 0x11ecad
movl $0xe0, %edi
addq 0xd0(%rbx), %rdi
callq 0x11edc1
movq 0x8(%rsp), %rdi
leaq 0x3bf3(%rip), %rcx      # 0x11f0cf
movq %rcx, (%rax)
movq %r12, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x10(%rsp), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x10(%rbp)
testq %rdi, %rdi
jne 0x11b657
addq $0x40, %rbx
movq %rbx, %rdi
movq %r14, %rsi
movq %rbp, %rdx
callq 0x11ecf5
jmp 0x11b657
movq %rbp, 0x20(%rsp)
movq %r13, 0x18(%rsp)
movq 0xd8(%rbx), %rdi
callq 0x11f547
testq %r15, %r15
movq 0x10(%rsp), %rbp
je 0x11b545
movq %r14, %r13
movq %r13, %rdi
callq *%r12
addq %rbp, %r13
decq %r15
jne 0x11b537
movq 0xd8(%rbx), %rdi
callq 0x11f515
movq 0x18(%rsp), %r13
movq 0x20(%rsp), %rbp
movq 0x8(%rsp), %rdi
jmp 0x11b4f4
movq 0x38(%rbp), %rdx
testq %rdx, %rdx
je 0x11b576
cmpq $0x0, (%rdx,%rcx,8)
sete %r13b
jmp 0x11b5a5
movb $0x1, %r13b
jmp 0x11b5a5
movzwl 0x10(%rbp), %ebx
shll $0x3, %ebx
movq %rbx, %rdi
callq 0xd160
movq %rax, 0x38(%rbp)
xorl %r13d, %r13d
movq %rax, %rdi
xorl %esi, %esi
movq %rbx, %rdx
callq 0xd090
movq 0x8(%rsp), %rax
xorl %ebx, %ebx
testb %r13b, %r13b
je 0x11b5d6
movq 0x18(%rbp), %rdi
callq 0x11f547
testq %r15, %r15
movq 0x10(%rsp), %r13
je 0x11b5cb
movq %r14, %rdi
callq *%r12
addq %r13, %r14
decq %r15
jne 0x11b5bd
movq 0x18(%rbp), %rdi
callq 0x11f515
jmp 0x11b641
movq 0x38(%rbp), %r14
movzwl %ax, %r13d
movl %r13d, %eax
movq (%r14,%rax,8), %rsi
testq %rsi, %rsi
je 0x11b614
movq (%rsi), %rax
leaq 0x3adb(%rip), %rcx      # 0x11f0cf
cmpq %rcx, %rax
sete %cl
leaq 0x3af8(%rip), %rdx      # 0x11f0f9
cmpq %rdx, %rax
sete %al
orb %cl, %al
jne 0x11b641
movq 0x40(%rbp), %rdi
callq 0x11ecad
movl $0xe0, %edi
addq 0x40(%rbp), %rdi
callq 0x11edc1
leaq 0x3aa6(%rip), %rcx      # 0x11f0cf
movq %rcx, (%rax)
movq %r12, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x10(%rsp), %rcx
movq %rcx, 0x18(%rax)
movq %rax, (%r14,%r13,8)
testb %bl, %bl
movq 0x18(%rsp), %r13
je 0x11b657
movzwl 0x8(%rsp), %esi
movq %rbp, %rdi
callq 0x11ea7f
movq %r13, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x11f547