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 13