vcpu0_thread
if (pthread_create(&tid, NULL, vcpu0_thread, (void *)vtc) != 0) {
if (pthread_create(&vcpu0_tid, NULL, vcpu0_thread, (void *)vcpu) != 0) {