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;
}