1 /* 2 * (C) Copyright 2016 Rockchip Electronics Co., Ltd 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <asm/armv8/mmu.h> 9 #include <dwc3-uboot.h> 10 #include <usb.h> 11 12 DECLARE_GLOBAL_DATA_PTR; 13 14 int board_init(void) 15 { 16 return 0; 17 } 18 19 int dram_init_banksize(void) 20 { 21 /* Reserve 0x200000 for ATF bl31 */ 22 gd->bd->bi_dram[0].start = 0x200000; 23 gd->bd->bi_dram[0].size = 0x7e000000; 24 25 return 0; 26 } 27 28 int board_usb_init(int index, enum usb_init_type init) 29 { 30 return 0; 31 } 32