Lines Matching refs:is_idle_vcpu
368 if ( svc && !is_idle_vcpu(svc->vcpu) ) in rt_dump_pcpu()
755 ASSERT(!pdata && svc && is_idle_vcpu(svc->vcpu)); in rt_switch_sched()
903 if ( !is_idle_vcpu(vc) ) in rt_alloc_vdata()
933 BUG_ON( is_idle_vcpu(vc) ); in rt_vcpu_insert()
989 if ( is_idle_vcpu(svc->vcpu) ) in burn_budget()
1117 d.idle = is_idle_vcpu(current); in rt_schedule()
1141 if ( !is_idle_vcpu(current) && in rt_schedule()
1144 ( is_idle_vcpu(snext->vcpu) || in rt_schedule()
1150 !is_idle_vcpu(current) && in rt_schedule()
1156 if ( !is_idle_vcpu(snext->vcpu) ) in rt_schedule()
1184 BUG_ON( is_idle_vcpu(vc) ); in rt_vcpu_sleep()
1227 if ( new == NULL || is_idle_vcpu(new->vcpu) ) in runq_tickle()
1243 if ( is_idle_vcpu(iter_vc) ) in runq_tickle()
1301 BUG_ON( is_idle_vcpu(vc) ); in rt_vcpu_wake()
1372 if ( is_idle_vcpu(vc) ) in rt_context_saved()