/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef __IP32_COMMON_H
#define __IP32_COMMON_H

#include <linux/init.h>
#include <linux/interrupt.h>

void __init crime_init(void);
irqreturn_t crime_memerr_intr(int irq, void *dev_id);
irqreturn_t crime_cpuerr_intr(int irq, void *dev_id);
void __init ip32_be_init(void);
void ip32_prepare_poweroff(void);

#endif /* __IP32_COMMON_H */