/* WARNING: Globals starting with '_' overlap smaller symbols at the same address */

void GenRandom(undefined4 param_1,void *param_2,void *param_3)

{

  int local_100;

  undefined4 local_fc;

  char local_f8 [44];

  undefined1 auStack_cc [6];

  undefined1 auStack_c6 [4];

  undefined1 auStack_c2 [32];

  undefined1 auStack_a2 [38];

  undefined1 auStack_7c [84];

  builtin_strncpy(local_f8,"Init Counter",0xc)   //possible issue identified - semgrep

  memset(auStack_7c,0,0x50)   //possible issue identified - semgrep

  memset(auStack_cc,0,0x50)   //possible issue identified - semgrep

  memset(local_f8 + 0xc,0,0x20)   //possible issue identified - semgrep

  for (local_100 = 0; local_100 < 0x20; local_100 = local_100 + 1) {

    memcpy(auStack_cc,param_2,6)   //possible issue identified - semgrep

    local_fc = _jiffies;

    memmove(auStack_c6,&local_fc,4)   //possible issue identified - semgrep

    memmove(auStack_c2,auStack_7c,0x20)   //possible issue identified - semgrep

    memmove(auStack_a2,&local_100,2)   //possible issue identified - semgrep

    PRF(local_f8 + 0xc,0x20,local_f8,0xc,auStack_cc,0x2c,auStack_7c,0x20);

  }

  memmove(param_3,auStack_7c,0x20)   //possible issue identified - semgrep

  return;

}