// File: /workspace/github_c_makefile_star2_O0/mabdi[P]bunney/bunny-exec.c
// Function: register_return
static void register_return(_u32 pid,_u32 val) {
  _u32 rno = get_procentry(pid,1);
  
  procs[rno].nest--;

  /* Leave a mark on the execution path */
  ADD(procs[rno].funclist,0);
  ADDINT(procs[rno].nestlist,procs[rno].nest);
  /* Record return value */
  ADDINT(procs[rno].paramlist,val);  
    
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movl -0x4(%rbp), %edi
movl $0x1, %esi
callq 0x2e10
movl %eax, -0xc(%rbp)
movq 0x3deb(%rip), %rax      # 0x61a0
movl -0xc(%rbp), %ecx
shlq $0x6, %rcx
addq %rcx, %rax
movl 0x8(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x8(%rax)
movq 0x3dd1(%rip), %rax      # 0x61a0
movl -0xc(%rbp), %ecx
shlq $0x6, %rcx
addq %rcx, %rax
addq $0x10, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movl 0x8(%rax), %eax
andl $0x7f, %eax
cmpl $0x0, %eax
jne 0x247a
movq -0x18(%rbp), %rax
movq (%rax), %rdi
movq -0x18(%rbp), %rax
movl 0x8(%rax), %eax
addl $0x82, %eax
movl %eax, %eax
movl %eax, %esi
shlq $0x3, %rsi
callq 0x1210
movq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x2478
jmp 0x242a
movq 0x3baf(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1e54(%rip), %rsi      # 0x428f
movb $0x0, %al
callq 0x11b0
movq 0x3b97(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1c0c(%rip), %rsi      # 0x405f
leaq 0x1ec2(%rip), %rdx      # 0x431c
leaq 0x1c13(%rip), %rcx      # 0x4074
movl $0x94, %r8d
movb $0x0, %al
callq 0x11b0
movl $0x1, %edi
callq 0x1130
jmp 0x247a
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq -0x18(%rbp), %rdx
movl 0x8(%rdx), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, 0x8(%rdx)
movl %ecx, %ecx
movq $0x0, (%rax,%rcx,8)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq -0x18(%rbp), %rcx
movl 0x8(%rcx), %ecx
movq $0x0, (%rax,%rcx,8)
jmp 0x24b2
movq 0x3ce7(%rip), %rax      # 0x61a0
movl -0xc(%rbp), %ecx
shlq $0x6, %rcx
addq %rcx, %rax
addq $0x20, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movl 0x8(%rax), %eax
andl $0x7f, %eax
cmpl $0x0, %eax
jne 0x2564
movq -0x20(%rbp), %rax
movq (%rax), %rdi
movq -0x20(%rbp), %rax
movl 0x8(%rax), %eax
addl $0x81, %eax
movl %eax, %eax
movl %eax, %esi
shlq $0x2, %rsi
callq 0x1210
movq %rax, %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x20(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x2562
jmp 0x2514
movq 0x3ac5(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1d6a(%rip), %rsi      # 0x428f
movb $0x0, %al
callq 0x11b0
movq 0x3aad(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1b22(%rip), %rsi      # 0x405f
leaq 0x1dd8(%rip), %rdx      # 0x431c
leaq 0x1b29(%rip), %rcx      # 0x4074
movl $0x95, %r8d
movb $0x0, %al
callq 0x11b0
movl $0x1, %edi
callq 0x1130
jmp 0x2564
movq 0x3c35(%rip), %rax      # 0x61a0
movl -0xc(%rbp), %ecx
shlq $0x6, %rcx
addq %rcx, %rax
movl 0x8(%rax), %edx
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq -0x20(%rbp), %rsi
movl 0x8(%rsi), %ecx
movl %ecx, %edi
addl $0x1, %edi
movl %edi, 0x8(%rsi)
movl %ecx, %ecx
movl %edx, (%rax,%rcx,4)
jmp 0x2595
movq 0x3c04(%rip), %rax      # 0x61a0
movl -0xc(%rbp), %ecx
shlq $0x6, %rcx
addq %rcx, %rax
addq $0x30, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movl 0x8(%rax), %eax
andl $0x7f, %eax
cmpl $0x0, %eax
jne 0x2647
movq -0x28(%rbp), %rax
movq (%rax), %rdi
movq -0x28(%rbp), %rax
movl 0x8(%rax), %eax
addl $0x81, %eax
movl %eax, %eax
movl %eax, %esi
shlq $0x2, %rsi
callq 0x1210
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x2645
jmp 0x25f7
movq 0x39e2(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1c87(%rip), %rsi      # 0x428f
movb $0x0, %al
callq 0x11b0
movq 0x39ca(%rip), %rax      # 0x5fe0
movq (%rax), %rdi
leaq 0x1a3f(%rip), %rsi      # 0x405f
leaq 0x1cf5(%rip), %rdx      # 0x431c
leaq 0x1a46(%rip), %rcx      # 0x4074
movl $0x97, %r8d
movb $0x0, %al
callq 0x11b0
movl $0x1, %edi
callq 0x1130
jmp 0x2647
movl -0x8(%rbp), %edx
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq -0x28(%rbp), %rsi
movl 0x8(%rsi), %ecx
movl %ecx, %edi
addl $0x1, %edi
movl %edi, 0x8(%rsi)
movl %ecx, %ecx
movl %edx, (%rax,%rcx,4)
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax,%rax)