undefined4 DO_RACFG_CMD_ATE_SET_TX_FRAME_COUNT(char *param_1,undefined4 param_2,int param_3)

{

  uint uVar1;

  code *pcVar2;

  char *__s;

  ushort local_30 [2];

  char acStack_2c [24];

  local_30[0] = 0;

  memset(acStack_2c,0,0x10)   //possible issue identified - semgrep

  if (2 < RTDebugLevel) {

    printk("RACFG_CMD_ATE_SET_TX_FRAME_COUNT\n");

  }

  memcpy(local_30,(void *)(param_3 + 0xc),2)   //possible issue identified - semgrep

  uVar1 = (local_30[0] & 0xff) << 8 | (uint)(local_30[0] >> 8);

  local_30[0] = (ushort)uVar1;

  if (uVar1 == 0) {

    param_1[0x76a40] = -1;

    param_1[0x76a41] = -1;

    param_1[0x76a42] = -1;

    param_1[0x76a43] = -1;

    if (RTDebugLevel < 3) goto LAB_000a0eec;

    param_1 = "Set_ATE_TX_COUNT_Proc (TxCount = %d)\n";

    __s = (char *)0xffffffff;

    pcVar2 = printk;

  }

  else {

    __s = acStack_2c;

    snprintf(__s,0x10,"%d")   //possible issue identified - semgrep

    pcVar2 = Set_ATE_TX_COUNT_Proc;

  }

  (*pcVar2)(param_1,__s);

LAB_000a0eec:

  ResponseToGUI(param_3,param_2,2,0);

  return 0;

}