u-boot/arch/arm/include/asm/arch-exynos/board.h

/*
 * (C) Copyright 2013 Samsung Electronics
 * Rajeshwari Shinde <rajeshwari.s@samsung.com>
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef _EXYNOS_BOARD_H
#define _EXYNOS_BOARD_H

/*
 * Exynos baord specific changes for
 * board_init
 */
int exynos_init(void);

#endif	/* EXYNOS_BOARD_H */