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 (at) sysgo.de> 6 * 7 * Copyright (C) 2011 Andes Technology Corporation 8 * Shawn Lin, Andes Technology Corporation <nobuhiro (at) andestech.com> 9 * Macpaul Lin, Andes Technology Corporation <macpaul (at) andestech.com> 10 */ 11 12 #ifndef _U_BOOT_NDS32_H_ 13 #define _U_BOOT_NDS32_H_ 1 14 15 /* for the following variables, see start.S */ 16 extern ulong IRQ_STACK_START; /* top of IRQ stack */ 17 extern ulong FIQ_STACK_START; /* top of FIQ stack */ 18 19 /* cpu/.../cpu.c */ 20 int cleanup_before_linux(void); 21 22 /* board/.../... */ 23 int board_init(void); 24 25 /* cpu/.../interrupt.c */ 26 void reset_timer_masked(void); 27 28 #endif /* _U_BOOT_NDS32_H_ */ 29
