undefined4 Set_ResetStatCounter_Proc(int param_1)

{
  if (2 < RTDebugLevel) {
    printk("==>Set_ResetStatCounter_Proc\n");
  }
  NICUpdateRawCounters(param_1);
  memset((void *)(param_1 + 0x76688),0,0x68)   //possible issue identified - semgrep
  memset((void *)(param_1 + 0x76664),0,0x20)   //possible issue identified - semgrep
  memset((void *)(param_1 + 0x766f0),0,0x128)   //possible issue identified - semgrep
  return 1;
}