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 9void __init crime_init(void); 10irqreturn_t crime_memerr_intr(int irq, void *dev_id); 11irqreturn_t crime_cpuerr_intr(int irq, void *dev_id); 12void __init ip32_be_init(void); 13void ip32_prepare_poweroff(void); 14 15#endif /* __IP32_COMMON_H */ 16