undefined4 DO_RACFG_CMD_ATE_RESET_COUNTER(int param_1,undefined4 param_2,undefined4 param_3)

{

  char acStack_28 [20];

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

  if (2 < RTDebugLevel) {

    printk("RACFG_CMD_ATE_RESET_COUNTER\n");

  }

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

  Set_ResetStatCounter_Proc(param_1,acStack_28);

  *(undefined4 *)(param_1 + 0x76a44) = 0;

  ResponseToGUI(param_3,param_2,2,0);

  return 0;

}