int duplicate_pkt_with_VLAN

              (undefined4 param_1,undefined2 param_2,undefined2 param_3,undefined4 param_4,

              int param_5,void *param_6,size_t param_7,undefined1 param_8,undefined4 param_9)

{

  int iVar1;

  uint uVar2;

  int iVar3;

  iVar1 = __alloc_skb(param_5 + 0x26 + param_7,0x20,0,0xffffffff)   //possible issue identified - semgrep

  iVar3 = 0;

  if (iVar1 != 0) {

    iVar3 = *(int *)(iVar1 + 0x90) + 0x22;

    *(int *)(iVar1 + 0x90) = iVar3;

    *(int *)(iVar1 + 0x9c) = *(int *)(iVar1 + 0x9c) + 0x22;

    uVar2 = VLAN_8023_Header_Copy(param_2,param_3,param_4,param_5,iVar3,param_8,param_9);

    skb_put(iVar1,(uVar2 & 0xffff) + param_5);

    memmove(*(void **)(iVar1 + 0x90),param_6,param_7)   //possible issue identified - semgrep

    skb_put(iVar1,param_7);

    *(undefined4 *)(iVar1 + 0x14) = param_1;

    iVar3 = iVar1;

  }

  return iVar3;

}