Searched refs:virt_timer_restore (Results 1 – 3 of 3) sorted by relevance
28 extern int virt_timer_restore(struct vcpu *v);
156 int virt_timer_restore(struct vcpu *v) in virt_timer_restore() function
266 virt_timer_restore(n); in ctxt_switch_to()
Completed in 5 milliseconds