| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * (C) Copyright 2002 | |
| * Sysgo Real-Time Solutions, GmbH <www.elinos.com> | |
| * Marius Groeger <mgroeger@sysgo.de> | |
| * | |
| * Copyright (C) 2017 Andes Technology Corporation | |
| * Rick Chen, Andes Technology Corporation <rick@andestech.com> | |
| */ | |
| #ifndef _U_BOOT_RISCV_H_ | |
| #define _U_BOOT_RISCV_H_ 1 | |
| /* cpu/.../cpu.c */ | |
| int cleanup_before_linux(void); | |
| /* board/.../... */ | |
| int board_init(void); | |
| void board_quiesce_devices(void); | |
| #endif /* _U_BOOT_RISCV_H_ */ |