run_vcpu
ret = run_vcpu(vcpus[3]);
ret = run_vcpu(vcpus[3]);
ret = run_vcpu(vcpus[3]);
ret = run_vcpu(vcpus[3]);
ret = run_vcpu(vcpus[3]);
ret = run_vcpu(vcpus[2]);
run_vcpu(vcpu, pmcr_n);
run_vcpu(vcpu, pmcr_n);
check_create_thread(&threads[i], NULL, run_vcpu, vcpu);
run_vcpu(vcpu, 0);
run_vcpu(vcpu, 1);
run_vcpu(vcpu, 2);
run_vcpu(vcpu);
run_vcpu(vcpu);
run_vcpu(vcpu);
run_vcpu(vcpu);
run_vcpu(vcpus[i]);
run_vcpu(vcpus[i]);
run_vcpu(vcpus[i]);
run_vcpu(vcpu, stage);
run_vcpu(vcpu);
run_vcpu(vcpu);
run_vcpu(vcpu);
run_vcpu(vcpus[0]);
run_vcpu(vcpus[1]);
run_vcpu(vcpus[0]);
run_vcpu(vcpus[1]);
run_vcpu(vcpu, 1);
run_vcpu(vcpu, 2);
run_vcpu(vcpu, 3);
run_vcpu(vcpu, 4);
run_vcpu(vcpu, 5);
pthread_create(&cpu_threads[cpu], NULL, run_vcpu, (void *)cpu);