19 void platform_timer_start(struct timer *timer)  in platform_timer_start()
35 void platform_timer_stop(struct timer *timer)  in platform_timer_stop()
45 uint64_t platform_timer_get_atomic(struct timer *timer)  in platform_timer_get_atomic()
50 int64_t platform_timer_set(struct timer *timer, uint64_t ticks)  in platform_timer_set()
94 void platform_timer_clear(struct timer *timer)  in platform_timer_clear()
103 uint64_t platform_timer_get(struct timer *timer)  in platform_timer_get()
164 	struct timer *timer = arg;  in platform_timer_handler()  local
176 static int platform_timer_register(struct timer *timer, void (*handler)(void *arg), void *arg)  in platform_timer_register()
186 int timer_register(struct timer *timer, void(*handler)(void *arg), void *arg)  in timer_register()
199 void timer_unregister(struct timer *timer, void *arg)  in timer_unregister()
204 void timer_enable(struct timer *timer, void *arg, int core)  in timer_enable()
210 void timer_disable(struct timer *timer, void *arg, int core)  in timer_disable()