Searched refs:destroy_waitqueue_vcpu (Results 1 – 3 of 3) sorted by relevance
53 void destroy_waitqueue_vcpu(struct vcpu *v);
66 void destroy_waitqueue_vcpu(struct vcpu *v) in destroy_waitqueue_vcpu() function
172 destroy_waitqueue_vcpu(v); in alloc_vcpu()823 destroy_waitqueue_vcpu(v); in complete_domain_destroy()
Completed in 5 milliseconds