| 1 | /* |
| 2 | * Copyright 2000 Deep Blue Solutions Ltd |
| 3 | * Copyright 2004 ARM Limited |
| 4 | * Copyright 2008 Cavium Networks |
| 5 | * |
| 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. |
| 9 | */ |
| 10 | |
| 11 | #ifndef __CNS3XXX_CORE_H |
| 12 | #define __CNS3XXX_CORE_H |
| 13 | |
| 14 | #include <linux/reboot.h> |
| 15 | |
| 16 | extern void cns3xxx_timer_init(void); |
| 17 | |
| 18 | #ifdef CONFIG_CACHE_L2X0 |
| 19 | void __init cns3xxx_l2x0_init(void); |
| 20 | #else |
| 21 | static inline void cns3xxx_l2x0_init(void) {} |
| 22 | #endif /* CONFIG_CACHE_L2X0 */ |
| 23 | |
| 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 *); |
| 28 | |
| 29 | #endif /* __CNS3XXX_CORE_H */ |