1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2014 - 2018 Xilinx, Inc.
4 * Michal Simek <michal.simek@xilinx.com>
11 #include <asm/arch/hardware.h>
13 DECLARE_GLOBAL_DATA_PTR;
17 printf("EL Level:\tEL%d\n", current_el());
22 int board_early_init_r(void)
26 if (current_el() != 3)
29 writel(IOU_SWITCH_CTRL_CLKACT_BIT |
30 (0x20 << IOU_SWITCH_CTRL_DIVISOR0_SHIFT),
31 &crlapb_base->iou_switch_ctrl);
33 /* Global timer init - Program time stamp reference clk */
34 val = readl(&crlapb_base->timestamp_ref_ctrl);
35 val |= CRL_APB_TIMESTAMP_REF_CTRL_CLKACT_BIT;
36 writel(val, &crlapb_base->timestamp_ref_ctrl);
38 debug("ref ctrl 0x%x\n",
39 readl(&crlapb_base->timestamp_ref_ctrl));
41 /* Clear reset of timestamp reg */
42 writel(0, &crlapb_base->rst_timestamp);
45 * Program freq register in System counter and
46 * enable system counter.
48 writel(COUNTER_FREQUENCY,
49 &iou_scntr_secure->base_frequency_id_register);
51 debug("counter val 0x%x\n",
52 readl(&iou_scntr_secure->base_frequency_id_register));
54 writel(IOU_SCNTRS_CONTROL_EN,
55 &iou_scntr_secure->counter_control_register);
57 debug("scntrs control 0x%x\n",
58 readl(&iou_scntr_secure->counter_control_register));
59 debug("timer 0x%llx\n", get_ticks());
60 debug("timer 0x%llx\n", get_ticks());
65 int dram_init_banksize(void)
67 fdtdec_setup_memory_banksize();
74 if (fdtdec_setup_mem_size_base() != 0)
80 void reset_cpu(ulong addr)