f32f4ce2 RK |
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 |