1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (C) 2011 Samsung Electronics 4 */ 5 6 #include <common.h> 7 #include <asm/io.h> 8 #include <asm/gpio.h> 9 #include <asm/arch/cpu.h> 10 #include <asm/arch/mmc.h> 11 #include <asm/arch/periph.h> 12 #include <asm/arch/pinmux.h> 13 #include <usb.h> 14 15 u32 get_board_rev(void) 16 { 17 return 0; 18 } 19 20 int exynos_init(void) 21 { 22 return 0; 23 } 24 25 int board_usb_init(int index, enum usb_init_type init) 26 { 27 return 0; 28 } 29 30 #ifdef CONFIG_BOARD_EARLY_INIT_F 31 int exynos_early_init_f(void) 32 { 33 return 0; 34 } 35 #endif 36