1 /*
2  * (C) Copyright 2002
3  * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
4  * Marius Groeger <mgroeger@sysgo.de>
5  *
6  * Copyright (C) 2017 Andes Technology Corporation
7  * Rick Chen, Andes Technology Corporation <rick@andestech.com>
8  *
9  * SPDX-License-Identifier:	GPL-2.0+
10  */
11 
12 #ifndef _U_BOOT_RISCV_H_
13 #define _U_BOOT_RISCV_H_	1
14 
15 /* cpu/.../cpu.c */
16 int cleanup_before_linux(void);
17 
18 /* board/.../... */
19 int board_init(void);
20 
21 #endif	/* _U_BOOT_RISCV_H_ */
22