33 static void sysctr_timer_enable(struct clock_event_device *evt, bool enable)  in sysctr_timer_enable()  argument
35 	struct timer_of *to = to_timer_of(evt);  in sysctr_timer_enable()
42 static void sysctr_irq_acknowledge(struct clock_event_device *evt)  in sysctr_irq_acknowledge()  argument
49 	sysctr_timer_enable(evt, false);  in sysctr_irq_acknowledge()
52 static inline u64 sysctr_read_counter(struct clock_event_device *evt)  in sysctr_read_counter()  argument
54 	struct timer_of *to = to_timer_of(evt);  in sysctr_read_counter()
69 				 struct clock_event_device *evt)  in sysctr_set_next_event()  argument
71 	struct timer_of *to = to_timer_of(evt);  in sysctr_set_next_event()
76 	sysctr_timer_enable(evt, false);  in sysctr_set_next_event()
78 	next = sysctr_read_counter(evt);  in sysctr_set_next_event()
88 	sysctr_timer_enable(evt, true);  in sysctr_set_next_event()
93 static int sysctr_set_state_oneshot(struct clock_event_device *evt)  in sysctr_set_state_oneshot()  argument
98 static int sysctr_set_state_shutdown(struct clock_event_device *evt)  in sysctr_set_state_shutdown()  argument
100 	sysctr_timer_enable(evt, false);  in sysctr_set_state_shutdown()
107 	struct clock_event_device *evt = dev_id;  in sysctr_timer_interrupt()  local
109 	sysctr_irq_acknowledge(evt);  in sysctr_timer_interrupt()
111 	evt->event_handler(evt);  in sysctr_timer_interrupt()