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

// Assembly:
testq %rcx, %rcx
je 0x10ffaf
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbp
leaq 0x2c0(%rdi), %rbx
movq %rbx, %rdi
callq 0x1142c9
testq %r14, %r14
je 0x110049
movq 0x38(%rbp), %rdi
movq %r12, %rsi
callq 0x1268f9
testq %rax, %rax
je 0x10ffb0
movq %rax, %r13
movq %r12, %rax
subq %r13, %rax
cmpq 0x10(%rbp), %rax
jae 0x10ffb0
movq 0x8(%r13), %rbp
movq 0x30(%r13), %rcx
xorl %edx, %edx
divq %rbp
movzwl %ax, %esi
imulq %rsi, %rbp
addq %r13, %rbp
testq %rcx, %rcx
je 0x1100c7
movq (%rcx,%rsi,8), %rax
testq %rax, %rax
je 0x110117
decq %rax
movq %rax, (%rcx,%rsi,8)
cmpq %r12, %rbp
jne 0x110150
movq 0x38(%r13), %rax
testq %rax, %rax
jne 0x10ff75
movq %rsi, %r12
movzwl 0x10(%r13), %esi
shll $0x3, %esi
movl $0x1, %edi
callq 0xd370
movq %r12, %rsi
movq %rax, 0x38(%r13)
cmpq $0x0, (%rax,%rsi,8)
jne 0x110150
movq 0x40(%r13), %rdi
addq $0x70, %rdi
movq %rsi, %r12
callq 0x113ac5
leaq 0x3ee0(%rip), %rcx      # 0x113e77
movq %rcx, (%rax)
movq %r14, 0x8(%rax)
movq %r15, 0x10(%rax)
movq 0x38(%r13), %rcx
movq %rax, (%rcx,%r12,8)
jmp 0x110150
retq
movq %r15, 0x8(%rsp)
movq 0xb8(%rbp), %rdi
movq %r12, %rsi
callq 0x12543c
movq %rax, %r13
testq %rax, %rax
jne 0x10ffed
leaq 0x3d425(%rip), %rdi     # 0x14d3f8
leaq 0x3cd13(%rip), %rsi     # 0x14cced
leaq 0x3d245(%rip), %rcx     # 0x14d226
movl $0x54b, %edx            # imm = 0x54B
xorl %eax, %eax
callq 0xbe592
movq (%r13), %r15
movq 0x8(%r13), %r13
movq 0x8(%r13), %rax
testq %rax, %rax
je 0x110059
decq %rax
movq %rax, 0x8(%r13)
cmpq %r12, %r15
jne 0x110150
cmpq $0x0, 0x10(%r13)
jne 0x110150
movq 0xd0(%rbp), %rdi
addq $0x70, %rdi
callq 0x113ac5
leaq 0x3e47(%rip), %rcx      # 0x113e77
movq %rcx, (%rax)
movq %r14, 0x8(%rax)
movq 0x8(%rsp), %rcx
movq %rcx, 0x10(%rax)
movq %rax, 0x10(%r13)
jmp 0x110150
movq %rbp, %rdi
movq %r12, %rsi
callq 0x10fb76
jmp 0x110150
leaq 0x40(%rbp), %rdi
cmpq $0x0, 0x10(%r13)
jne 0x1100b7
movq %rdi, 0x10(%rsp)
movq 0xd8(%rbp), %rdi
callq 0x1142fb
cmpq %r12, %r15
je 0x11009b
leaq 0x3d377(%rip), %rdi     # 0x14d3f8
leaq 0x3cc65(%rip), %rsi     # 0x14cced
leaq 0x3d239(%rip), %rcx     # 0x14d2c8
movl $0x563, %edx            # imm = 0x563
xorl %eax, %eax
callq 0xbe592
movq 0x8(%rsp), %rdi
movq %r12, %rsi
callq *%r14
movq 0xd8(%rbp), %rdi
callq 0x1142c9
movq 0x10(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
callq 0x1139f9
jmp 0x110150
movq %rsi, 0x8(%rsp)
movq 0x18(%r13), %rdi
callq 0x1142fb
cmpq %r12, %rbp
je 0x1100fb
leaq 0x3d2fb(%rip), %rdi     # 0x14d3dc
leaq 0x3cc05(%rip), %rsi     # 0x14cced
leaq 0x3d1d9(%rip), %rcx     # 0x14d2c8
movl $0x203, %edx            # imm = 0x203
xorl %eax, %eax
callq 0xbe592
movq %r15, %rdi
movq %r12, %rsi
callq *%r14
movq 0x18(%r13), %rdi
callq 0x1142c9
movq %r13, %rdi
movq 0x8(%rsp), %rsi
jmp 0x11014b
movq 0x38(%r13), %rax
testq %rax, %rax
je 0x110127
cmpq $0x0, (%rax,%rsi,8)
jne 0x110148
movq 0x18(%r13), %rdi
movq %rsi, %rbp
callq 0x1142fb
movq %r15, %rdi
movq %r12, %rsi
callq *%r14
movq 0x18(%r13), %rdi
callq 0x1142c9
movq %rbp, %rsi
movq %r13, %rdi
callq 0x11378d
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1142fb