// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_tbman.c
// Function: bcore_tbman_s_release_obj
void bcore_tbman_s_release_obj( bcore_tbman_s* o, fp_down_obj down, vd_t ptr )
{
    if( !ptr ) return;
    tbman_s_lock( o );
    tbman_s_release_obj( o, down, ptr );
    tbman_s_unlock( o );
}

// Assembly:
testq %rdx, %rdx
je 0x11af2a
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %r13
leaq 0x2c0(%rdi), %rbx
movq %rbx, %rdi
callq 0x11f515
testq %r14, %r14
je 0x11afb7
movq 0x38(%r13), %rdi
movq %r15, %rsi
callq 0x131e3e
testq %rax, %rax
je 0x11af2b
movq %rax, %r12
movq %r15, %rax
subq %r12, %rax
cmpq 0x10(%r13), %rax
jae 0x11af2b
movq 0x8(%r12), %rbp
movq 0x30(%r12), %rcx
xorl %edx, %edx
divq %rbp
movzwl %ax, %r13d
imulq %r13, %rbp
addq %r12, %rbp
testq %rcx, %rcx
je 0x11b02c
movq (%rcx,%r13,8), %rax
testq %rax, %rax
je 0x11b05e
decq %rax
movq %rax, (%rcx,%r13,8)
cmpq %r15, %rbp
jne 0x11b094
cmpq $0x0, 0x38(%r12)
jne 0x11aef4
movzwl 0x10(%r12), %r15d
shll $0x3, %r15d
movq %r15, %rdi
callq 0xd160
movq %rax, 0x38(%r12)
movq %rax, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0xd090
movq 0x38(%r12), %rax
cmpq $0x0, (%rax,%r13,8)
jne 0x11b094
movq 0x40(%r12), %rdi
callq 0x11edc1
leaq 0x41a7(%rip), %rcx      # 0x11f0bc
movq %rcx, (%rax)
movq %r14, 0x8(%rax)
movq 0x38(%r12), %rcx
movq %rax, (%rcx,%r13,8)
jmp 0x11b094
retq
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq 0x130a36
movq %rax, %r12
testq %rax, %rax
jne 0x11af63
leaq 0x3d41c(%rip), %rdi     # 0x158365
leaq 0x3cd45(%rip), %rsi     # 0x157c95
leaq 0x3d277(%rip), %rcx     # 0x1581ce
movl $0x528, %edx            # imm = 0x528
xorl %eax, %eax
callq 0xc80f6
movq (%r12), %rbp
movq 0x8(%r12), %r12
movq 0x8(%r12), %rax
testq %rax, %rax
je 0x11afc7
decq %rax
movq %rax, 0x8(%r12)
cmpq %r15, %rbp
jne 0x11b094
cmpq $0x0, 0x10(%r12)
jne 0x11b094
movq 0xd0(%r13), %rdi
callq 0x11edc1
leaq 0x4116(%rip), %rcx      # 0x11f0bc
movq %rcx, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%r12)
jmp 0x11b094
movq %r13, %rdi
movq %r15, %rsi
callq 0x11ad64
jmp 0x11b094
leaq 0x40(%r13), %rdi
cmpq $0x0, 0x10(%r12)
jne 0x11b01f
movq %rdi, (%rsp)
movq 0xd8(%r13), %rdi
callq 0x11f547
cmpq %r15, %rbp
je 0x11b009
leaq 0x3d376(%rip), %rdi     # 0x158365
leaq 0x3cc9f(%rip), %rsi     # 0x157c95
leaq 0x3d273(%rip), %rcx     # 0x158270
movl $0x53e, %edx            # imm = 0x53E
xorl %eax, %eax
callq 0xc80f6
movq %r15, %rdi
callq *%r14
movq 0xd8(%r13), %rdi
callq 0x11f515
movq (%rsp), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x11ecf5
jmp 0x11b094
movq 0x18(%r12), %rdi
callq 0x11f547
cmpq %r15, %rbp
je 0x11b079
leaq 0x3d212(%rip), %rdi     # 0x158254
leaq 0x3cc4c(%rip), %rsi     # 0x157c95
leaq 0x3d220(%rip), %rcx     # 0x158270
movl $0x1d9, %edx            # imm = 0x1D9
xorl %eax, %eax
callq 0xc80f6
jmp 0x11b079
movq 0x38(%r12), %rax
testq %rax, %rax
je 0x11b06f
cmpq $0x0, (%rax,%r13,8)
jne 0x11b089
movq 0x18(%r12), %rdi
callq 0x11f547
movq %r15, %rdi
callq *%r14
movq 0x18(%r12), %rdi
callq 0x11f515
movq %r12, %rdi
movl %r13d, %esi
callq 0x11ea7f
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x11f547