void RTMPInitWepEngine(void *param_1,void *param_2,uint param_3,undefined4 param_4)

{

  code *pcVar1;

  char *pcVar2;

  char *pcVar3;

  char *local_20 [3];

  local_20[0] = (char *)0x0;

  os_alloc_mem(0,local_20,0x10);

  if (local_20[0] == (char *)0x0) {

    if (RTDebugLevel == 0) {

      return;

    }

    pcVar2 = "%s: seed Allocate memory fail!!!\n";

    pcVar1 = printk;

    pcVar3 = "RTMPInitWepEngine";

  }

  else {

    memset(local_20[0],0,0x10)   //possible issue identified - semgrep

    memmove(local_20[0],param_1,3)   //possible issue identified - semgrep

    memmove(local_20[0] + 3,param_2,param_3 & 0xff)   //possible issue identified - semgrep

    ARC4_INIT(param_4,local_20[0],(param_3 & 0xff) + 3 & 0xff);

    if (local_20[0] == (char *)0x0) {

      return;

    }

    pcVar2 = (char *)0x0;

    pcVar1 = os_free_mem;

    pcVar3 = local_20[0];

  }

  (*pcVar1)(pcVar2,pcVar3);

  return;

}