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