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

void FUN_00400954(uint param_1,uint param_2,undefined4 param_3)

{

  FILE *__stream;

  __stream = fopen("/proc/rt3052/mii/ctrl","w")   //possible issue identified - semgrep

  if (__stream != (FILE *)0x0) {

    fprintf(__stream,"write %d %d 0x%x",param_1 & 0xff,param_2 & 0xff,param_3);

                    /* WARNING: Could not recover jumptable at 0x004009f4. Too many branches */

                    /* WARNING: Treating indirect jump as call */

    fclose(__stream);

    return;

  }

                    /* WARNING: Could not recover jumptable at 0x00400a30. Too many branches */

                    /* WARNING: Treating indirect jump as call */

  fprintf(_stderr,"%s: unable to open file %s to write!\n","mii_write","/proc/rt3052/mii/ctrl");

  return;

}