Searched refs:virt_timer_expire (Results 1 – 1 of 1) sorted by relevance
24 static void virt_timer_expire(void);210 virt_timer_expire(); in vtime_flush()286 static void virt_timer_expire(void) in virt_timer_expire() function