powerpc/85xx: Add support for 2nd USB controller on p1_p2_rdb

[u-boot] / include / vxworks.h

diff --git a/include/vxworks.h b/include/vxworks.h
index 548e8e851e8fad4e113f684b81387191dcff81ef..917a9ff856705d01d6f4defd963ea10a1b9dde2d 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
@@ -47,7 +47,7 @@ int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
 #endif
 
 #ifndef CONFIG_SYS_VXWORKS_SERVERNAME
-#define CONFIG_SYS_VXWORKS_SERVERNAME srv
+#define CONFIG_SYS_VXWORKS_SERVERNAME  "srv"
 #endif
 
 #endif