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
232 	u64 timer;  in vtime_account_irq_enter()  local
259 static void list_add_sorted(struct vtimer_list *timer, struct list_head *head)  in list_add_sorted()
277 	struct vtimer_list *timer, *tmp;  in virt_timer_expire()  local
314 void init_virt_timer(struct vtimer_list *timer)  in init_virt_timer()
321 static inline int vtimer_pending(struct vtimer_list *timer)  in vtimer_pending()
326 static void internal_add_vtimer(struct vtimer_list *timer)  in internal_add_vtimer()
345 static void __add_vtimer(struct vtimer_list *timer, int periodic)  in __add_vtimer()
358 void add_virt_timer(struct vtimer_list *timer)  in add_virt_timer()
367 void add_virt_timer_periodic(struct vtimer_list *timer)  in add_virt_timer_periodic()
373 static int __mod_vtimer(struct vtimer_list *timer, u64 expires, int periodic)  in __mod_vtimer()
396 int mod_virt_timer(struct vtimer_list *timer, u64 expires)  in mod_virt_timer()
405 int mod_virt_timer_periodic(struct vtimer_list *timer, u64 expires)  in mod_virt_timer_periodic()
416 int del_virt_timer(struct vtimer_list *timer)  in del_virt_timer()