| /* SPDX-License-Identifier: GPL-2.0-only */ |
| /* |
| * Copyright 2000 Deep Blue Solutions Ltd |
| * Copyright 2004 ARM Limited |
| * Copyright 2008 Cavium Networks |
| */ |
| |
| #ifndef __CNS3XXX_CORE_H |
| #define __CNS3XXX_CORE_H |
| |
| #include <linux/reboot.h> |
| |
| extern void cns3xxx_timer_init(void); |
| |
| #ifdef CONFIG_CACHE_L2X0 |
| void __init cns3xxx_l2x0_init(void); |
| #else |
| static inline void cns3xxx_l2x0_init(void) {} |
| #endif /* CONFIG_CACHE_L2X0 */ |
| |
| #ifdef CONFIG_PCI |
| extern void __init cns3xxx_pcie_init_late(void); |
| #else |
| static inline void __init cns3xxx_pcie_init_late(void) {} |
| #endif |
| |
| void __init cns3xxx_map_io(void); |
| void __init cns3xxx_init_irq(void); |
| void cns3xxx_power_off(void); |
| void cns3xxx_restart(enum reboot_mode, const char *); |
| |
| #endif /* __CNS3XXX_CORE_H */ |
