1 /*
2  * (C) Copyright 2002
3  * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
4  * Marius Groeger <mgroeger@sysgo.de>
5  *
6  * Copyright (C) 2011 Andes Technology Corporation
7  * Shawn Lin, Andes Technology Corporation <nobuhiro@andestech.com>
8  * Macpaul Lin, Andes Technology Corporation <macpaul@andestech.com>
9  *
10  * SPDX-License-Identifier:	GPL-2.0+
11  */
12 
13 #ifndef _U_BOOT_NDS32_H_
14 #define _U_BOOT_NDS32_H_	1
15 
16 /* for the following variables, see start.S */
17 extern ulong IRQ_STACK_START;	/* top of IRQ stack */
18 extern ulong FIQ_STACK_START;	/* top of FIQ stack */
19 
20 /* cpu/.../cpu.c */
21 int	cleanup_before_linux(void);
22 
23 /* board/.../... */
24 int	board_init(void);
25 
26 /* cpu/.../interrupt.c */
27 void	reset_timer_masked(void);
28 
29 #endif	/* _U_BOOT_NDS32_H_ */
30