38 	u64 timer;  in get_vtimer()  local
46 	u64 timer;  in set_vtimer()  local
127 	u64 timer, clock, user, guest, system, hardirq, softirq;  in do_account_vtime()  local
231 	u64 timer;  in vtime_account_irq_enter()  local
258 static void list_add_sorted(struct vtimer_list *timer, struct list_head *head)  in list_add_sorted()
276 	struct vtimer_list *timer, *tmp;  in virt_timer_expire()  local
313 void init_virt_timer(struct vtimer_list *timer)  in init_virt_timer()
320 static inline int vtimer_pending(struct vtimer_list *timer)  in vtimer_pending()
325 static void internal_add_vtimer(struct vtimer_list *timer)  in internal_add_vtimer()
344 static void __add_vtimer(struct vtimer_list *timer, int periodic)  in __add_vtimer()
357 void add_virt_timer(struct vtimer_list *timer)  in add_virt_timer()
366 void add_virt_timer_periodic(struct vtimer_list *timer)  in add_virt_timer_periodic()
372 static int __mod_vtimer(struct vtimer_list *timer, u64 expires, int periodic)  in __mod_vtimer()
395 int mod_virt_timer(struct vtimer_list *timer, u64 expires)  in mod_virt_timer()
404 int mod_virt_timer_periodic(struct vtimer_list *timer, u64 expires)  in mod_virt_timer_periodic()
415 int del_virt_timer(struct vtimer_list *timer)  in del_virt_timer()