2 * Copyright 2000 Deep Blue Solutions Ltd
3 * Copyright 2004 ARM Limited
4 * Copyright 2008 Cavium Networks
6 * This file is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License, Version 2, as
8 * published by the Free Software Foundation.
11 #ifndef __CNS3XXX_CORE_H
12 #define __CNS3XXX_CORE_H
14 #include <linux/reboot.h>
16 extern void cns3xxx_timer_init(void);
18 #ifdef CONFIG_CACHE_L2X0
19 void __init
cns3xxx_l2x0_init(void);
21 static inline void cns3xxx_l2x0_init(void) {}
22 #endif /* CONFIG_CACHE_L2X0 */
24 void __init
cns3xxx_map_io(void);
25 void __init
cns3xxx_init_irq(void);
26 void cns3xxx_power_off(void);
27 void cns3xxx_restart(enum reboot_mode
, const char *);
29 #endif /* __CNS3XXX_CORE_H */