39 	u64 timer;  in set_vtimer()  local
120 	u64 timer, clock, user, guest, system, hardirq, softirq;  in do_account_vtime()  local
222 	u64 timer = lc->last_update_timer;  in vtime_delta()  local
268 static void list_add_sorted(struct vtimer_list *timer, struct list_head *head)  in list_add_sorted()
286 	struct vtimer_list *timer, *tmp;  in virt_timer_expire()  local
323 void init_virt_timer(struct vtimer_list *timer)  in init_virt_timer()
330 static inline int vtimer_pending(struct vtimer_list *timer)  in vtimer_pending()
335 static void internal_add_vtimer(struct vtimer_list *timer)  in internal_add_vtimer()
354 static void __add_vtimer(struct vtimer_list *timer, int periodic)  in __add_vtimer()
367 void add_virt_timer(struct vtimer_list *timer)  in add_virt_timer()
376 void add_virt_timer_periodic(struct vtimer_list *timer)  in add_virt_timer_periodic()
382 static int __mod_vtimer(struct vtimer_list *timer, u64 expires, int periodic)  in __mod_vtimer()
405 int mod_virt_timer(struct vtimer_list *timer, u64 expires)  in mod_virt_timer()
414 int mod_virt_timer_periodic(struct vtimer_list *timer, u64 expires)  in mod_virt_timer_periodic()
425 int del_virt_timer(struct vtimer_list *timer)  in del_virt_timer()