1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright 2000 Deep Blue Solutions Ltd
4 * Copyright 2004 ARM Limited
5 * Copyright 2008 Cavium Networks
8 #ifndef __CNS3XXX_CORE_H
9 #define __CNS3XXX_CORE_H
11 #include <linux/reboot.h>
13 extern void cns3xxx_timer_init(void);
15 #ifdef CONFIG_CACHE_L2X0
16 void __init
cns3xxx_l2x0_init(void);
18 static inline void cns3xxx_l2x0_init(void) {}
19 #endif /* CONFIG_CACHE_L2X0 */
22 extern void __init
cns3xxx_pcie_init_late(void);
24 static inline void __init
cns3xxx_pcie_init_late(void) {}
27 void __init
cns3xxx_map_io(void);
28 void __init
cns3xxx_init_irq(void);
29 void cns3xxx_power_off(void);
30 void cns3xxx_restart(enum reboot_mode
, const char *);
32 #endif /* __CNS3XXX_CORE_H */