| /* |
| * (C) Copyright 2016 Rockchip Electronics Co., Ltd |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #include <common.h> |
| #include <asm/armv8/mmu.h> |
| #include <dwc3-uboot.h> |
| #include <usb.h> |
| |
| DECLARE_GLOBAL_DATA_PTR; |
| |
| int board_init(void) |
| { |
| return 0; |
| } |
| |
| int dram_init(void) |
| { |
| gd->ram_size = 0x80000000; |
| return 0; |
| } |
| |
| int dram_init_banksize(void) |
| { |
| /* Reserve 0x200000 for ATF bl31 */ |
| gd->bd->bi_dram[0].start = 0x200000; |
| gd->bd->bi_dram[0].size = 0x7e000000; |
| |
| return 0; |
| } |
| |
| int board_usb_init(int index, enum usb_init_type init) |
| { |
| return 0; |
| } |