FILE * FUN_00405280(char *param_1)

{

  FILE *pFVar1;

  pFVar1 = fopen(PTR_s__dev_mtdblock_4_00422150,param_1)   //possible issue identified - semgrep

  if (pFVar1 == (FILE *)0x0) {

    FUN_00405180("Unable to open device : %s !!\n",PTR_s__dev_mtdblock_4_00422150);

  }

  return pFVar1;

}