Searched refs:vcpu0_tid (Results 1 – 1 of 1) sorted by relevance
38 static pthread_t vcpu0_tid; variable67 (void) pthread_cancel(vcpu0_tid); in sigalrm_handler()120 if (pthread_create(&vcpu0_tid, NULL, vcpu0_thread, (void *)vcpu) != 0) { in main()134 if (pthread_join(vcpu0_tid, &status) != 0) { in main()