Make sure that argv[] argument pointers are not modified.

[u-boot.git] / common / cmd_fpga.c

diff --git a/common/cmd_fpga.c b/common/cmd_fpga.c
index 9141dcce92136f7d3da8c6907d0692d768376cda..ddc7a05a5b8f2c4a5e0c18c920e5bddea713d78d 100644 (file)
--- a/common/cmd_fpga.c
+++ b/common/cmd_fpga.c
@@ -85,7 +85,7 @@ int fpga_loadbitstream(unsigned long dev, char* fpgadata, size_t size)
        length = (*dataptr << 8) + *(dataptr+1);
        dataptr+=2;
        for(i=0;i<length;i++)
-               buffer[i]=*dataptr++;
+               buffer[i] = *dataptr++;
 
        printf("  design filename = \"%s\"\n", buffer);
 
@@ -99,7 +99,7 @@ int fpga_loadbitstream(unsigned long dev, char* fpgadata, size_t size)
        length = (*dataptr << 8) + *(dataptr+1);
        dataptr+=2;
        for(i=0;i<length;i++)
-               buffer[i]=*dataptr++;
+               buffer[i] = *dataptr++;
        printf("  part number = \"%s\"\n", buffer);
 
        /* get date (identifier, length, string) */
@@ -112,7 +112,7 @@ int fpga_loadbitstream(unsigned long dev, char* fpgadata, size_t size)
        length = (*dataptr << 8) + *(dataptr+1);
        dataptr+=2;
        for(i=0;i<length;i++)
-               buffer[i]=*dataptr++;
+               buffer[i] = *dataptr++;
        printf("  date = \"%s\"\n", buffer);
 
        /* get time (identifier, length, string) */
@@ -124,7 +124,7 @@ int fpga_loadbitstream(unsigned long dev, char* fpgadata, size_t size)
        length = (*dataptr << 8) + *(dataptr+1);
        dataptr+=2;
        for(i=0;i<length;i++)
-               buffer[i]=*dataptr++;
+               buffer[i] = *dataptr++;
        printf("  time = \"%s\"\n", buffer);
 
        /* get fpga data length (identifier, length) */
@@ -156,7 +156,7 @@ int fpga_loadbitstream(unsigned long dev, char* fpgadata, size_t size)
  * If there is no data addr field, the fpgadata environment variable is used.
  * The info command requires no data address field.
  */
-int do_fpga (cmd_tbl_t * cmdtp, int flag, int argc, char *argv[])
+int do_fpga (cmd_tbl_t * cmdtp, int flag, int argc, char * const argv[])
 {
        int op, dev = FPGA_INVALID_DEVICE;
        size_t data_size = 0;
@@ -320,7 +320,7 @@ int do_fpga (cmd_tbl_t * cmdtp, int flag, int argc, char *argv[])
 
 static void fpga_usage (cmd_tbl_t * cmdtp)
 {
-       printf ("Usage:\n%s\n", cmdtp->usage);
+       cmd_usage(cmdtp);
 }
 
 /*
@@ -350,16 +350,17 @@ static int fpga_get_op (char *opstr)
 }
 
 U_BOOT_CMD (fpga, 6, 1, do_fpga,
-           "fpga    - loadable FPGA image support\n",
+           "loadable FPGA image support",
            "fpga [operation type] [device number] [image address] [image size]\n"
            "fpga operations:\n"
            "\tinfo\tlist known device information\n"
            "\tload\tLoad device from memory buffer\n"
            "\tloadb\tLoad device from bitstream buffer (Xilinx devices only)\n"
            "\tloadmk\tLoad device generated with mkimage\n"
-           "\tdump\tLoad device to memory buffer\n"
+           "\tdump\tLoad device to memory buffer"
 #if defined(CONFIG_FIT)
+           "\n"
            "\tFor loadmk operating on FIT format uImage address must include\n"
-           "\tsubimage unit name in the form of addr:<subimg_uname>\n"
+           "\tsubimage unit name in the form of addr:<subimg_uname>"
 #endif
 );