2 * (C) Copyright 2007 Michal Simek
6 * SPDX-License-Identifier: GPL-2.0+
9 /* This is a board specific file. It's OK to include board specific
15 #include <asm/processor.h>
16 #include <asm/microblaze_intc.h>
20 DECLARE_GLOBAL_DATA_PTR;
22 #ifdef CONFIG_XILINX_GPIO
23 static int reset_pin = -1;
28 void dram_init_banksize(void)
30 gd->bd->bi_dram[0].start = ram_base;
31 gd->bd->bi_dram[0].size = get_effective_memsize();
39 const void *blob = gd->fdt_blob;
41 node = fdt_node_offset_by_prop_value(blob, -1, "device_type",
43 if (node == -FDT_ERR_NOTFOUND) {
44 debug("DRAM: Can't get memory node\n");
47 addr = fdtdec_get_addr_size(blob, node, "reg", &size);
48 if (addr == FDT_ADDR_T_NONE || size == 0) {
49 debug("DRAM: Can't get base address or size\n");
54 gd->ram_top = addr; /* In setup_dest_addr() is done +ram_size */
60 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
62 #ifndef CONFIG_SPL_BUILD
63 #ifdef CONFIG_XILINX_GPIO
65 gpio_direction_output(reset_pin, 1);
68 #ifdef CONFIG_XILINX_TB_WATCHDOG
69 hw_watchdog_disable();
72 puts ("Reseting board\n");
73 __asm__ __volatile__ (" mts rmsr, r0;" \
79 static int gpio_init(void)
81 #ifdef CONFIG_XILINX_GPIO
82 reset_pin = gpio_alloc(CONFIG_SYS_GPIO_0_ADDR, "reset", 1);
84 gpio_request(reset_pin, "reset_pin");
89 int board_late_init(void)