vcpu_run_loop
static void *vcpu_run_loop(void *);
ret = pthread_create(&tid[i], NULL, vcpu_run_loop, vrp[i]);