Searched refs:vcpu_timer_destroy (Results 1 – 3 of 3) sorted by relevance
29 extern void vcpu_timer_destroy(struct vcpu *v);
131 void vcpu_timer_destroy(struct vcpu *v) in vcpu_timer_destroy() function
564 vcpu_timer_destroy(v); in vcpu_destroy()
Completed in 4 milliseconds