// File: /workspace/github_c_makefile_star2_O3/sabotage-linux[P]libnl-tiny/nl.c
// Function: nl_recvmsgs
int nl_recvmsgs(struct nl_sock *sk, struct nl_cb *cb)
{
	if (cb->cb_recvmsgs_ow)
		return cb->cb_recvmsgs_ow(sk, cb);
	else
		return recvmsgs(sk, cb);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rsi, %r14
movq %rdi, %r15
movq 0xb0(%rsi), %rax
testq %rax, %rax
je 0x405b
movq %r15, %rdi
movq %r14, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
xorl %eax, %eax
leaq 0x10(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x20(%rsp), %rcx
movq %rax, (%rcx)
movl $0x0, 0x8(%rcx)
leaq 0x8(%rsp), %rcx
movq %rax, (%rcx)
xorl %r12d, %r12d
movq 0xb8(%r14), %rax
movq %r15, %rdi
leaq 0x20(%rsp), %rsi
testq %rax, %rax
je 0x4097
callq *%rax
jmp 0x409c
callq 0x32f0
movl %eax, %r13d
movl %eax, 0x1c(%rsp)
testl %eax, %eax
jle 0x4333
movq 0x10(%rsp), %rbp
testq %rbp, %rbp
je 0x4378
movq %rbp, %rdi
movl %r13d, %esi
callq 0x3190
xorl %ebx, %ebx
movq %rbx, %rdi
testl %eax, %eax
je 0x42c0
callq 0x35a0
movq %rbp, %rdi
callq 0x30b0
movq %rax, %rbx
testq %rax, %rax
je 0x4311
movl 0x1c(%r15), %eax
movl %eax, (%rbx)
movl 0x28(%rsp), %eax
movl %eax, 0x10(%rbx)
movq 0x20(%rsp), %rax
movq %rax, 0x8(%rbx)
movq 0x8(%rsp), %rax
testq %rax, %rax
je 0x411b
movl 0x8(%rax), %ecx
movl %ecx, 0x28(%rbx)
movq (%rax), %rax
movq %rax, 0x20(%rbx)
orb $0x1, 0x4(%rbx)
movq 0x28(%r14), %rax
testq %rax, %rax
je 0x4131
movq 0x78(%r14), %rsi
movq %rbx, %rdi
callq *%rax
testl %eax, %eax
jne 0x4169
movq 0x40(%r14), %rax
testq %rax, %rax
je 0x4143
movq 0x90(%r14), %rsi
jmp 0x4160
movl 0x8(%rbp), %eax
cmpl 0x24(%r15), %eax
je 0x417a
movq 0x38(%r14), %rax
testq %rax, %rax
je 0x434c
movq 0x88(%r14), %rsi
movq %rbx, %rdi
callq *%rax
testl %eax, %eax
je 0x417a
movl %eax, %r13d
cmpl $0x1, %eax
je 0x4249
jmp 0x4306
movl 0x4(%rbp), %eax
leal -0x1(%rax), %ecx
cmpw $0x3, %cx
ja 0x418a
incl 0x24(%r15)
movzwl 0x6(%rbp), %ecx
testb $0x2, %cl
movl $0x1, %edx
cmovnel %edx, %r12d
testb $0x4, %cl
je 0x41bc
movq 0x48(%r14), %rcx
testq %rcx, %rcx
je 0x41bc
movq 0x98(%r14), %rsi
movq %rbx, %rdi
callq *%rcx
testl %eax, %eax
jne 0x4169
movzwl 0x4(%rbp), %eax
movzwl %ax, %eax
decl %eax
cmpl $0x3, %eax
ja 0x422f
leaq 0x2e33(%rip), %rcx      # 0x7000
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x18(%r14), %rax
testq %rax, %rax
je 0x4249
movq 0x68(%r14), %rsi
jmp 0x423b
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x42a9
movq 0x58(%r14), %rsi
movq %rbx, %rdi
callq *%rax
xorl %r12d, %r12d
jmp 0x4240
movq 0x10(%r14), %rax
testq %rax, %rax
je 0x4354
movq 0x60(%r14), %rsi
jmp 0x423b
cmpl $0x23, (%rbp)
ja 0x426a
movq 0x38(%r14), %rax
testq %rax, %rax
je 0x435c
movq 0x88(%r14), %rsi
jmp 0x423b
movq (%r14), %rax
testq %rax, %rax
je 0x4249
movq 0x50(%r14), %rsi
movq %rbx, %rdi
callq *%rax
cmpl $0x2, %eax
jae 0x4345
movq %rbp, %rdi
leaq 0x1c(%rsp), %rsi
callq 0x3180
movq %rax, %rbp
movl 0x1c(%rsp), %esi
movq %rax, %rdi
callq 0x3190
jmp 0x40c6
leaq 0x10(%rbp), %rsi
movl (%rsi), %edi
testl %edi, %edi
je 0x42ae
movq 0xa0(%r14), %rax
testq %rax, %rax
je 0x436b
movq 0xa8(%r14), %rdx
leaq 0x20(%rsp), %rdi
movq %rsi, 0x30(%rsp)
callq *%rax
movl %eax, %r13d
testl %eax, %eax
js 0x4317
cmpl $0x2, %r13d
jne 0x4249
jmp 0x4364
xorl %r12d, %r12d
jmp 0x4249
movq 0x20(%r14), %rax
testq %rax, %rax
je 0x4249
movq 0x70(%r14), %rsi
jmp 0x423b
callq 0x35a0
movq 0x10(%rsp), %rdi
callq 0x3060
movq 0x8(%rsp), %rdi
callq 0x3060
xorl %r13d, %r13d
movq %r13, 0x10(%rsp)
movq %r13, 0x8(%rsp)
movl $0x0, %ebx
testl %r12d, %r12d
movl $0x1, %r12d
leaq 0x10(%rsp), %rdx
leaq 0x8(%rsp), %rcx
jne 0x407f
jmp 0x4317
cmpl $0x2, %r13d
jne 0x4317
xorl %r13d, %r13d
jmp 0x4317
movl $0xfffffffb, %r13d      # imm = 0xFFFFFFFB
movq %rbx, %rdi
callq 0x35a0
movq 0x10(%rsp), %rdi
callq 0x3060
movq 0x8(%rsp), %rdi
callq 0x3060
movl %r13d, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
je 0x430c
movl %eax, %r13d
jmp 0x4317
movl $0xfffffff0, %r13d      # imm = 0xFFFFFFF0
jmp 0x4317
movl $0xffffffef, %r13d      # imm = 0xFFFFFFEF
jmp 0x4317
movl $0xffffffee, %r13d      # imm = 0xFFFFFFEE
jmp 0x4317
movq 0x30(%rsp), %rax
movl (%rax), %edi
callq 0x3330
movl %eax, %r13d
negl %r13d
jmp 0x4317
leaq 0x2c91(%rip), %rdi      # 0x7010
leaq 0x2c97(%rip), %rsi      # 0x701d
leaq 0x2c95(%rip), %rcx      # 0x7022
movl $0x1fe, %edx            # imm = 0x1FE
callq 0x31e0