arch/mips/sgi-ip32/ip32-common.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #ifndef __IP32_COMMON_H
   4 #define __IP32_COMMON_H
   5
   6 #include <linux/init.h>
   7 #include <linux/interrupt.h>
   8
   9 void __init crime_init(void);
  10 irqreturn_t crime_memerr_intr(int irq, void *dev_id);
  11 irqreturn_t crime_cpuerr_intr(int irq, void *dev_id);
  12 void __init ip32_be_init(void);
  13 void ip32_prepare_poweroff(void);
  14
  15 #endif /* __IP32_COMMON_H */