Searched refs:unmap_vcpu_info (Results 1 – 3 of 3) sorted by relevance
56 void unmap_vcpu_info(struct vcpu *v);
643 unmap_vcpu_info(v); in domain_kill()1110 unmap_vcpu_info(v); in domain_soft_reset()1235 void unmap_vcpu_info(struct vcpu *v) in unmap_vcpu_info() function
362 unmap_vcpu_info(v); in pv_shim_shutdown()
Completed in 6 milliseconds