1 /* SPDX-License-Identifier: GPL-2.0+ */
4 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
5 * Marius Groeger <mgroeger@sysgo.de>
7 * Copyright (C) 2017 Andes Technology Corporation
8 * Rick Chen, Andes Technology Corporation <rick@andestech.com>
11 #ifndef _U_BOOT_RISCV_H_
12 #define _U_BOOT_RISCV_H_ 1
15 int cleanup_before_linux(void);
20 #endif /* _U_BOOT_RISCV_H_ */