Searched refs:vcpu_deinit (Results 1 – 2 of 2) sorted by relevance
911 void vcpu_deinit(struct vcpu *);
89 void vcpu_deinit(struct vcpu *);2978 vcpu_deinit(struct vcpu *vcpu) in vcpu_deinit() function