Lines Matching refs:snext
1106 struct rt_vcpu *snext = NULL; in rt_schedule() local
1132 snext = rt_vcpu(idle_vcpu[cpu]); in rt_schedule()
1136 snext = runq_pick(ops, cpumask_of(cpu)); in rt_schedule()
1137 if ( snext == NULL ) in rt_schedule()
1138 snext = rt_vcpu(idle_vcpu[cpu]); in rt_schedule()
1144 ( is_idle_vcpu(snext->vcpu) || in rt_schedule()
1145 compare_vcpu_priority(scurr, snext) > 0 ) ) in rt_schedule()
1146 snext = scurr; in rt_schedule()
1149 if ( snext != scurr && in rt_schedule()
1154 snext->last_start = now; in rt_schedule()
1156 if ( !is_idle_vcpu(snext->vcpu) ) in rt_schedule()
1158 if ( snext != scurr ) in rt_schedule()
1160 q_remove(snext); in rt_schedule()
1161 __set_bit(__RTDS_scheduled, &snext->flags); in rt_schedule()
1163 if ( snext->vcpu->processor != cpu ) in rt_schedule()
1165 snext->vcpu->processor = cpu; in rt_schedule()
1168 ret.time = snext->cur_budget; /* invoke the scheduler next time */ in rt_schedule()
1170 ret.task = snext->vcpu; in rt_schedule()