powerpc/85xx: Disable ECC in considering performance on MPC8572DS

[platform/kernel/u-boot.git] / include / vxworks.h

diff --git a/include/vxworks.h b/include/vxworks.h
index 1633904..917a9ff 100644 (file)
--- a/include/vxworks.h
+++ b/include/vxworks.h
@@ -24,7 +24,7 @@
 #ifndef _VXWORKS_H_
 #define _VXWORKS_H_
 
-int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
+int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
 
 /*
  * Use bootaddr to find the location in memory that VxWorks