| Russell King | f32f4ce | 2009-05-16 12:14:21 +0100 | [diff] [blame] | 1 | #ifndef __ASMARM_SMP_TWD_H |
| 2 | #define __ASMARM_SMP_TWD_H | ||||
| 3 | |||||
| 4 | struct clock_event_device; | ||||
| 5 | |||||
| 6 | extern void __iomem *twd_base; | ||||
| 7 | |||||
| 8 | void twd_timer_stop(void); | ||||
| 9 | int twd_timer_ack(void); | ||||
| 10 | void twd_timer_setup(struct clock_event_device *); | ||||
| 11 | |||||
| 12 | #endif | ||||