34 	u64 timer;  in get_vtimer()  local
42 	u64 timer;  in set_vtimer()  local
69 	u64 timer, clock, user, system, steal;  in do_account_vtime()  local
171 	u64 timer, system, system_scaled;  in vtime_account_irq_enter()  local
202 static void list_add_sorted(struct vtimer_list *timer, struct list_head *head)  in list_add_sorted()
220 	struct vtimer_list *timer, *tmp;  in virt_timer_expire()  local
257 void init_virt_timer(struct vtimer_list *timer)  in init_virt_timer()
264 static inline int vtimer_pending(struct vtimer_list *timer)  in vtimer_pending()
269 static void internal_add_vtimer(struct vtimer_list *timer)  in internal_add_vtimer()
288 static void __add_vtimer(struct vtimer_list *timer, int periodic)  in __add_vtimer()
301 void add_virt_timer(struct vtimer_list *timer)  in add_virt_timer()
310 void add_virt_timer_periodic(struct vtimer_list *timer)  in add_virt_timer_periodic()
316 static int __mod_vtimer(struct vtimer_list *timer, u64 expires, int periodic)  in __mod_vtimer()
339 int mod_virt_timer(struct vtimer_list *timer, u64 expires)  in mod_virt_timer()
348 int mod_virt_timer_periodic(struct vtimer_list *timer, u64 expires)  in mod_virt_timer_periodic()
359 int del_virt_timer(struct vtimer_list *timer)  in del_virt_timer()