ip32-common.h 382 B

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