2 * (C) Copyright 2016 Rockchip Electronics Co., Ltd
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <asm/armv8/mmu.h>
9 #include <dwc3-uboot.h>
12 DECLARE_GLOBAL_DATA_PTR;
19 int dram_init_banksize(void)
21 /* Reserve 0x200000 for ATF bl31 */
22 gd->bd->bi_dram[0].start = 0x200000;
23 gd->bd->bi_dram[0].size = 0x7e000000;
28 int board_usb_init(int index, enum usb_init_type init)