// File: /workspace/github_c_makefile_star2_O0/FH0[P]tun_direct/lwip-2.1.2/src/core/netif.c
// Function: netif_ip6_addr_set_parts
void
netif_ip6_addr_set_parts(struct netif *netif, s8_t addr_idx, u32_t i0, u32_t i1, u32_t i2, u32_t i3)
{
  ip_addr_t old_addr;
  ip_addr_t new_ipaddr;
  LWIP_ASSERT_CORE_LOCKED();
  LWIP_ASSERT("netif != NULL", netif != NULL);
  LWIP_ASSERT("invalid index", addr_idx < LWIP_IPV6_NUM_ADDRESSES);

  ip6_addr_copy(*ip_2_ip6(&old_addr), *netif_ip6_addr(netif, addr_idx));
  IP_SET_TYPE_VAL(old_addr, IPADDR_TYPE_V6);

  /* address is actually being changed? */
  if ((ip_2_ip6(&old_addr)->addr[0] != i0) || (ip_2_ip6(&old_addr)->addr[1] != i1) ||
      (ip_2_ip6(&old_addr)->addr[2] != i2) || (ip_2_ip6(&old_addr)->addr[3] != i3)) {
    LWIP_DEBUGF(NETIF_DEBUG | LWIP_DBG_STATE, ("netif_ip6_addr_set: netif address being changed\n"));

    IP_ADDR6(&new_ipaddr, i0, i1, i2, i3);
    ip6_addr_assign_zone(ip_2_ip6(&new_ipaddr), IP6_UNICAST, netif);

    if (ip6_addr_isvalid(netif_ip6_addr_state(netif, addr_idx))) {
      netif_do_ip_addr_changed(netif_ip_addr6(netif, addr_idx), &new_ipaddr);
    }
    /* @todo: remove/readd mib2 ip6 entries? */

    ip_addr_copy(netif->ip6_addr[addr_idx], new_ipaddr);

    if (ip6_addr_isvalid(netif_ip6_addr_state(netif, addr_idx))) {
      netif_issue_reports(netif, NETIF_REPORT_TYPE_IPV6);
      NETIF_STATUS_CALLBACK(netif);
    }

#if LWIP_NETIF_EXT_STATUS_CALLBACK
    {
      netif_ext_callback_args_t args;
      args.ipv6_set.addr_index  = addr_idx;
      args.ipv6_set.old_address = &old_addr;
      netif_invoke_ext_callback(netif, LWIP_NSC_IPV6_SET, &args);
    }
#endif
  }

  LWIP_DEBUGF(NETIF_DEBUG | LWIP_DBG_TRACE | LWIP_DBG_STATE, ("netif: IPv6 address %d of interface %c%c set to %s/0x%"X8_F"\n",
              addr_idx, netif->name[0], netif->name[1], ip6addr_ntoa(netif_ip6_addr(netif, addr_idx)),
              netif_ip6_addr_state(netif, addr_idx)));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movb %sil, %al
movq %rdi, -0x8(%rbp)
movb %al, -0x9(%rbp)
movl %edx, -0x10(%rbp)
movl %ecx, -0x14(%rbp)
movl %r8d, -0x18(%rbp)
movl %r9d, -0x1c(%rbp)
cmpq $0x0, -0x8(%rbp)
jne 0x6128
jmp 0x60f9
leaq 0x211cc(%rip), %rdi     # 0x272cc
leaq 0x21635(%rip), %rsi     # 0x2773c
movl $0x53d, %edx            # imm = 0x53D
leaq 0x2137a(%rip), %rcx     # 0x2748d
movb $0x0, %al
callq 0x20d0
xorl %eax, %eax
movl %eax, %edi
callq 0x21b0
callq 0x2040
jmp 0x612a
jmp 0x612c
movsbl -0x9(%rbp), %eax
cmpl $0x3, %eax
jl 0x6166
jmp 0x6137
leaq 0x2118e(%rip), %rdi     # 0x272cc
leaq 0x21605(%rip), %rsi     # 0x2774a
movl $0x53e, %edx            # imm = 0x53E
leaq 0x2133c(%rip), %rcx     # 0x2748d
movb $0x0, %al
callq 0x20d0
xorl %eax, %eax
movl %eax, %edi
callq 0x21b0
callq 0x2040
jmp 0x6168
jmp 0x616a
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x34(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl 0x4(%rax), %eax
movl %eax, -0x30(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl 0x8(%rax), %eax
movl %eax, -0x2c(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl 0xc(%rax), %eax
movl %eax, -0x28(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movb 0x10(%rax), %al
movb %al, -0x24(%rbp)
jmp 0x61ed
movb $0x6, -0x20(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x10(%rbp), %eax
jne 0x6215
movl -0x30(%rbp), %eax
cmpl -0x14(%rbp), %eax
jne 0x6215
movl -0x2c(%rbp), %eax
cmpl -0x18(%rbp), %eax
jne 0x6215
movl -0x28(%rbp), %eax
cmpl -0x1c(%rbp), %eax
je 0x640d
jmp 0x6217
jmp 0x6219
jmp 0x621b
jmp 0x621d
movl -0x10(%rbp), %eax
movl %eax, -0x4c(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x48(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x44(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x40(%rbp)
movb $0x0, -0x3c(%rbp)
jmp 0x623b
movb $0x6, -0x38(%rbp)
jmp 0x6241
movl -0x4c(%rbp), %eax
andq $0xc0ff, %rax           # imm = 0xC0FF
cmpq $0x80fe, %rax           # imm = 0x80FE
jne 0x6268
movq -0x8(%rbp), %rax
movzbl 0xee(%rax), %eax
addl $0x1, %eax
movzbl %al, %eax
movl %eax, -0x50(%rbp)
jmp 0x626f
xorl %eax, %eax
movl %eax, -0x50(%rbp)
jmp 0x626f
movl -0x50(%rbp), %eax
movb %al, -0x3c(%rbp)
movq -0x8(%rbp), %rax
movsbq -0x9(%rbp), %rcx
movzbl 0x98(%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x62ab
movq -0x8(%rbp), %rdi
addq $0x50, %rdi
movsbq -0x9(%rbp), %rax
imulq $0x18, %rax, %rax
addq %rax, %rdi
leaq -0x4c(%rbp), %rsi
callq 0x5a70
jmp 0x62ad
jmp 0x62af
movb -0x38(%rbp), %cl
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movb %cl, 0x14(%rax)
movzbl -0x38(%rbp), %eax
cmpl $0x6, %eax
jne 0x635e
jmp 0x62d8
movl -0x4c(%rbp), %ecx
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movl %ecx, (%rax)
movl -0x48(%rbp), %ecx
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movl %ecx, 0x4(%rax)
movl -0x44(%rbp), %ecx
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movl %ecx, 0x8(%rax)
movl -0x40(%rbp), %ecx
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movl %ecx, 0xc(%rax)
movb -0x3c(%rbp), %cl
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movb %cl, 0x10(%rax)
jmp 0x63e2
movl -0x4c(%rbp), %ecx
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
movl %ecx, (%rax)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl $0x0, 0xc(%rax)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl $0x0, 0x8(%rax)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl $0x0, 0x4(%rax)
movq -0x8(%rbp), %rax
addq $0x50, %rax
movsbq -0x9(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movb $0x0, 0x10(%rax)
jmp 0x63e2
jmp 0x63e4
movq -0x8(%rbp), %rax
movsbq -0x9(%rbp), %rcx
movzbl 0x98(%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x640b
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x5b70
jmp 0x640d
jmp 0x640f
jmp 0x6411
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)