arch/nds32/include/asm/u-boot-nds32.h

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