// File: /workspace/github_c_makefile_star2_O0/martintopholm[P]xping/icmp.c
// Function: deactivate
void
deactivate(struct probe *prb)
{
	struct probe *tmp, *tmp2, *t1;

	HASH_FIND(hh, hash, &prb->sa, sizeof(union addr), tmp);
	if (tmp == NULL)
		return; /* already inactive, i.e. not in hash */
	HASH_DELETE(hh, hash, prb);
	t1 = NULL;
	HASH_ITER(hh, hash, tmp, tmp2) {
		if (tmp->duplicate == prb) {
			if (t1 == NULL) {
				t1 = tmp;
				t1->duplicate = NULL;
				activate(t1);
			} else {
				tmp->duplicate = t1;
			}
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq $0x0, -0x10(%rbp)
cmpq $0x0, 0x4f14(%rip)      # 0x9270
je 0x4893
jmp 0x4364
movq -0x8(%rbp), %rax
addq $0x44, %rax
movq %rax, -0x40(%rbp)
movl $0xfeedbeef, -0x28(%rbp) # imm = 0xFEEDBEEF
movl $0x9e3779b9, -0x30(%rbp) # imm = 0x9E3779B9
movl $0x9e3779b9, -0x2c(%rbp) # imm = 0x9E3779B9
movl $0x1c, -0x34(%rbp)
cmpl $0xc, -0x34(%rbp)
jb 0x4580
movq -0x40(%rbp), %rax
movsbl (%rax), %eax
movq -0x40(%rbp), %rcx
movsbl 0x1(%rcx), %ecx
shll $0x8, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0x2(%rcx), %ecx
shll $0x10, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0x3(%rcx), %ecx
shll $0x18, %ecx
addl %ecx, %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x4(%rax), %eax
movq -0x40(%rbp), %rcx
movsbl 0x5(%rcx), %ecx
shll $0x8, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0x6(%rcx), %ecx
shll $0x10, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0x7(%rcx), %ecx
shll $0x18, %ecx
addl %ecx, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x8(%rax), %eax
movq -0x40(%rbp), %rcx
movsbl 0x9(%rcx), %ecx
shll $0x8, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0xa(%rcx), %ecx
shll $0x10, %ecx
addl %ecx, %eax
movq -0x40(%rbp), %rcx
movsbl 0xb(%rcx), %ecx
shll $0x18, %ecx
addl %ecx, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0xd, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0x8, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0xd, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0xc, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0x5, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0x3, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0xa, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0xf, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x40(%rbp), %rax
addq $0xc, %rax
movq %rax, -0x40(%rbp)
movl -0x34(%rbp), %eax
subl $0xc, %eax
movl %eax, -0x34(%rbp)
jmp 0x438c
movl -0x28(%rbp), %eax
addl $0x1c, %eax
movl %eax, -0x28(%rbp)
movl -0x34(%rbp), %eax
decl %eax
movl %eax, %ecx
movq %rcx, -0x58(%rbp)
subl $0xa, %eax
ja 0x4665
movq -0x58(%rbp), %rax
leaq 0x2ca0(%rip), %rcx      # 0x7248
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x40(%rbp), %rax
movsbl 0xa(%rax), %eax
shll $0x18, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x9(%rax), %eax
shll $0x10, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x8(%rax), %eax
shll $0x8, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x7(%rax), %eax
shll $0x18, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x6(%rax), %eax
shll $0x10, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x5(%rax), %eax
shll $0x8, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x4(%rax), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x3(%rax), %eax
shll $0x18, %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x2(%rax), %eax
shll $0x10, %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x1(%rax), %eax
shll $0x8, %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x40(%rbp), %rax
movsbl (%rax), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
jmp 0x4667
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0xd, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0x8, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0xd, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0xc, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0x5, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0x3, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %eax
shll $0xa, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
shrl $0xf, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
movq 0x4acd(%rip), %rcx      # 0x9270
movq 0x70(%rcx), %rcx
movl 0x8(%rcx), %ecx
subl $0x1, %ecx
andl %ecx, %eax
movl %eax, -0x24(%rbp)
jmp 0x47b4
movq 0x4ab5(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rax
movl -0x24(%rbp), %ecx
shlq $0x4, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
je 0x4809
jmp 0x47d4
movq 0x4a95(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rax
movl -0x24(%rbp), %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rax
movq 0x4a7a(%rip), %rcx      # 0x9270
movq 0x70(%rcx), %rdx
xorl %ecx, %ecx
subq 0x20(%rdx), %rcx
addq %rcx, %rax
movq %rax, -0x10(%rbp)
jmp 0x4811
movq $0x0, -0x10(%rbp)
jmp 0x4813
cmpq $0x0, -0x10(%rbp)
je 0x488f
movq -0x10(%rbp), %rax
movl 0xa0(%rax), %eax
cmpq $0x1c, %rax
jne 0x4850
movq -0x10(%rbp), %rax
movq 0x98(%rax), %rdi
movq -0x8(%rbp), %rsi
addq $0x44, %rsi
movl $0x1c, %edx
callq 0x20e0
cmpl $0x0, %eax
jne 0x484e
jmp 0x488f
jmp 0x4850
movq -0x10(%rbp), %rax
cmpq $0x0, 0x90(%rax)
je 0x4885
jmp 0x4860
movq -0x10(%rbp), %rax
movq 0x90(%rax), %rax
movq 0x49fe(%rip), %rcx      # 0x9270
movq 0x70(%rcx), %rdx
xorl %ecx, %ecx
subq 0x20(%rdx), %rcx
addq %rcx, %rax
movq %rax, -0x10(%rbp)
jmp 0x488d
movq $0x0, -0x10(%rbp)
jmp 0x4813
jmp 0x4891
jmp 0x4893
jmp 0x4895
cmpq $0x0, -0x10(%rbp)
jne 0x48a1
jmp 0x4b5a
jmp 0x48a3
movq -0x8(%rbp), %rax
cmpq $0x0, 0x78(%rax)
jne 0x48ef
movq -0x8(%rbp), %rax
cmpq $0x0, 0x80(%rax)
jne 0x48ef
movq 0x49ad(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rdi
callq 0x21e0
movq 0x499a(%rip), %rax      # 0x9270
movq 0x70(%rax), %rdi
callq 0x21e0
movq $0x0, 0x4986(%rip) # 0x9270
jmp 0x4a9a
movq -0x8(%rbp), %rax
addq $0x70, %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movq 0x496a(%rip), %rcx      # 0x9270
movq 0x70(%rcx), %rcx
movq 0x18(%rcx), %rcx
movq 0x495b(%rip), %rdx      # 0x9270
movq 0x70(%rdx), %rsi
xorl %edx, %edx
subq 0x20(%rsi), %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
jne 0x494d
movq -0x8(%rbp), %rax
movq 0x78(%rax), %rcx
movq 0x493a(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
addq 0x20(%rax), %rcx
movq 0x492b(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rbp), %rax
cmpq $0x0, 0x78(%rax)
je 0x4980
movq -0x8(%rbp), %rax
movq 0x80(%rax), %rcx
movq -0x8(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x48fe(%rip), %rdx      # 0x9270
movq 0x70(%rdx), %rdx
addq 0x20(%rdx), %rax
movq %rcx, 0x10(%rax)
jmp 0x4996
jmp 0x4982
movq -0x8(%rbp), %rax
movq 0x80(%rax), %rax
movq %rax, 0x48dc(%rip)      # 0x9270
jmp 0x4996
movq -0x50(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x49c4
movq -0x50(%rbp), %rax
movq 0x8(%rax), %rcx
movq -0x50(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x48b8(%rip), %rdx      # 0x9270
movq 0x70(%rdx), %rdx
addq 0x20(%rdx), %rax
movq %rcx, 0x8(%rax)
jmp 0x49c6
movq -0x50(%rbp), %rax
movl 0x34(%rax), %eax
movq 0x489c(%rip), %rcx      # 0x9270
movq 0x70(%rcx), %rcx
movl 0x8(%rcx), %ecx
subl $0x1, %ecx
andl %ecx, %eax
movl %eax, -0x44(%rbp)
movq 0x4886(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rax
movl -0x44(%rbp), %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movl 0x8(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x8(%rax)
movq 0x4865(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rax
movl -0x44(%rbp), %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rax
cmpq -0x50(%rbp), %rax
jne 0x4a48
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rcx
movq 0x483c(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movq (%rax), %rax
movl -0x44(%rbp), %edx
shlq $0x4, %rdx
addq %rdx, %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x4a67
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rcx, 0x20(%rax)
movq -0x50(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x4a86
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rcx
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq %rcx, 0x18(%rax)
movq 0x47e3(%rip), %rax      # 0x9270
movq 0x70(%rax), %rax
movl 0x10(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x10(%rax)
jmp 0x4a9c
movq $0x0, -0x20(%rbp)
movq 0x47c5(%rip), %rax      # 0x9270
movq %rax, -0x10(%rbp)
cmpq $0x0, 0x47b9(%rip)      # 0x9270
je 0x4acd
movq 0x47b0(%rip), %rax      # 0x9270
movq 0x80(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x4ad5
xorl %eax, %eax
movq %rax, -0x60(%rbp)
jmp 0x4ad5
movq -0x60(%rbp), %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x4b5a
movq -0x10(%rbp), %rax
movq 0x60(%rax), %rax
cmpq -0x8(%rbp), %rax
jne 0x4b26
cmpq $0x0, -0x20(%rbp)
jne 0x4b18
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq $0x0, 0x60(%rax)
movq -0x20(%rbp), %rdi
callq 0x3270
jmp 0x4b24
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x60(%rax)
jmp 0x4b26
jmp 0x4b28
movq -0x18(%rbp), %rax
movq %rax, -0x10(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x4b48
movq -0x18(%rbp), %rax
movq 0x80(%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x4b50
xorl %eax, %eax
movq %rax, -0x68(%rbp)
jmp 0x4b50
movq -0x68(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x4add
addq $0x70, %rsp
popq %rbp
retq