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