Lines Matching full:vcpus
2994 /* assigning the VCPUs round-robin is easier to implement, guest OSes3087 fprintf(stderr, "failed to initialize vcpus\n");