void FUN_0040693c(undefined4 param_1)

{

  printf("%s version %d, dev:%s, offset:0x%0x, size:0x%x\n","devconf",1,

         PTR_s__dev_mtdblock_3_00422170,DAT_00422a6c,DAT_00422160);

  printf("Usage: %s {operation} {OPTIONS}\n","devconf");

  puts(

      "  operations -\n    get          get device config.\n    put          put device config.\n    size         get config size.\n    del          delete device config.\n    dump         dump header info.\n    devname      print device name.\n\n  options -\n    -h           show this help message.\n    -v           verbose mode.\n    -n {device}  mtdblock devname.\n    -o {offset}  offset.\n    -z {size}    size.\n    -f {file}    config file.\n"

      );

  FUN_0040686c(param_1);

  return;

}