0001
0002
0003
0004
0005
0006
0007
0008 #ifndef __CNS3XXX_CORE_H
0009 #define __CNS3XXX_CORE_H
0010
0011 #include <linux/reboot.h>
0012
0013 extern void cns3xxx_timer_init(void);
0014
0015 #ifdef CONFIG_CACHE_L2X0
0016 void __init cns3xxx_l2x0_init(void);
0017 #else
0018 static inline void cns3xxx_l2x0_init(void) {}
0019 #endif
0020
0021 #ifdef CONFIG_PCI
0022 extern void __init cns3xxx_pcie_init_late(void);
0023 #else
0024 static inline void __init cns3xxx_pcie_init_late(void) {}
0025 #endif
0026
0027 void __init cns3xxx_map_io(void);
0028 void __init cns3xxx_init_irq(void);
0029 void cns3xxx_power_off(void);
0030 void cns3xxx_restart(enum reboot_mode, const char *);
0031
0032 #endif