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(void)
20 {
21 	gd->ram_size = 0x80000000;
22 	return 0;
23 }
24 
25 void dram_init_banksize(void)
26 {
27 	/* Reserve 0x200000 for ATF bl31 */
28 	gd->bd->bi_dram[0].start = 0x200000;
29 	gd->bd->bi_dram[0].size = 0x7e000000;
30 }
31 
32 int usb_gadget_handle_interrupts(void)
33 {
34 	return 0;
35 }
36 
37 int board_usb_init(int index, enum usb_init_type init)
38 {
39 	return 0;
40 }
41