35 	u64 timer;  in get_vtimer()  local
43 	u64 timer;  in set_vtimer()  local
98 	u64 timer, clock, user, system, steal;  in do_account_vtime()  local
181 	u64 timer, system, system_scaled;  in vtime_account_irq_enter()  local
217 static void list_add_sorted(struct vtimer_list *timer, struct list_head *head)  in list_add_sorted()
235 	struct vtimer_list *timer, *tmp;  in virt_timer_expire()  local
272 void init_virt_timer(struct vtimer_list *timer)  in init_virt_timer()
279 static inline int vtimer_pending(struct vtimer_list *timer)  in vtimer_pending()
284 static void internal_add_vtimer(struct vtimer_list *timer)  in internal_add_vtimer()
303 static void __add_vtimer(struct vtimer_list *timer, int periodic)  in __add_vtimer()
316 void add_virt_timer(struct vtimer_list *timer)  in add_virt_timer()
325 void add_virt_timer_periodic(struct vtimer_list *timer)  in add_virt_timer_periodic()
331 static int __mod_vtimer(struct vtimer_list *timer, u64 expires, int periodic)  in __mod_vtimer()
354 int mod_virt_timer(struct vtimer_list *timer, u64 expires)  in mod_virt_timer()
363 int mod_virt_timer_periodic(struct vtimer_list *timer, u64 expires)  in mod_virt_timer_periodic()
374 int del_virt_timer(struct vtimer_list *timer)  in del_virt_timer()