Searched refs:vcpu0_thread (Results 1 – 2 of 2) sorted by relevance
42 vcpu0_thread(void *arg) in vcpu0_thread() function120 if (pthread_create(&vcpu0_tid, NULL, vcpu0_thread, (void *)vcpu) != 0) { in main()
49 vcpu0_thread(void *arg) in vcpu0_thread() function96 if (pthread_create(&tid, NULL, vcpu0_thread, (void *)vtc) != 0) { in vcpu0_spawn()