next_runnable_thread
for (i = -1; (vcpu = next_runnable_thread(vc, &i)); )
vcpu = next_runnable_thread(vc, &i);
v = next_runnable_thread(vc, &i);