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
 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 */