check_create_thread
check_create_thread(&threads[i], NULL, run_vcpu, vcpu);
check_create_thread(&throw_away, NULL, sleeping_thread,