|
@@ -249,10 +249,10 @@ int fpga_gpio_get(unsigned int bus, int pin);
|
|
|
#define CONFIG_SYS_OCM_DATA_ADDR 0xF8000000
|
|
|
#define CONFIG_SYS_OCM_DATA_SIZE 0x1000
|
|
|
#define CONFIG_SYS_INIT_RAM_ADDR CONFIG_SYS_OCM_DATA_ADDR /* in SDRAM */
|
|
|
-#define CONFIG_SYS_INIT_RAM_END CONFIG_SYS_OCM_DATA_SIZE /* End of used area */
|
|
|
+#define CONFIG_SYS_INIT_RAM_SIZE CONFIG_SYS_OCM_DATA_SIZE
|
|
|
|
|
|
#define CONFIG_SYS_GBL_DATA_OFFSET \
|
|
|
- (CONFIG_SYS_INIT_RAM_END - GENERATED_GBL_DATA_SIZE)
|
|
|
+ (CONFIG_SYS_INIT_RAM_SIZE - GENERATED_GBL_DATA_SIZE)
|
|
|
#define CONFIG_SYS_INIT_SP_OFFSET CONFIG_SYS_GBL_DATA_OFFSET
|
|
|
|
|
|
/*
|