task_is_runnable
if (!sched_in && task_is_runnable(task)) {
if (task_is_runnable(p))
while (task_is_runnable(p)) {
if (task_is_runnable(current) && vcpu->wants_to_run) {