| // SPDX-License-Identifier: GPL-2.0+ | |
| /* | |
| * Copyright (C) 2011 Samsung Electronics | |
| */ | |
| #include <common.h> | |
| #include <asm/io.h> | |
| #include <asm/gpio.h> | |
| #include <asm/arch/cpu.h> | |
| #include <asm/arch/mmc.h> | |
| #include <asm/arch/periph.h> | |
| #include <asm/arch/pinmux.h> | |
| #include <usb.h> | |
| u32 get_board_rev(void) | |
| { | |
| return 0; | |
| } | |
| int exynos_init(void) | |
| { | |
| return 0; | |
| } | |
| int board_usb_init(int index, enum usb_init_type init) | |
| { | |
| return 0; | |
| } | |
| #ifdef CONFIG_BOARD_EARLY_INIT_F | |
| int exynos_early_init_f(void) | |
| { | |
| return 0; | |
| } | |
| #endif |