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