Searched refs:pt_save_timer (Results 1 – 3 of 3) sorted by relevance
143 void pt_save_timer(struct vcpu *v);
195 void pt_save_timer(struct vcpu *v) in pt_save_timer() function
1697 pt_save_timer(prev); in context_switch()
Completed in 7 milliseconds