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 15u32 get_board_rev(void) 16{ 17 return 0; 18} 19 20int exynos_init(void) 21{ 22 return 0; 23} 24 25int board_usb_init(int index, enum usb_init_type init) 26{ 27 return 0; 28} 29 30#ifdef CONFIG_BOARD_EARLY_INIT_F 31int exynos_early_init_f(void) 32{ 33 return 0; 34} 35#endif 36