Searched refs:is_idle_vcpu (Results 1 – 23 of 23) sorted by relevance
413 ASSERT(nvc && is_idle_vcpu(nvc->vcpu)); in null_switch_sched()445 ASSERT(!is_idle_vcpu(v)); in null_vcpu_insert()538 ASSERT(!is_idle_vcpu(v)); in null_vcpu_remove()565 ASSERT(!is_idle_vcpu(v)); in null_vcpu_wake()591 ASSERT(!is_idle_vcpu(v)); in null_vcpu_sleep()602 ASSERT(!is_idle_vcpu(v)); in null_cpu_pick()612 ASSERT(!is_idle_vcpu(v)); in null_vcpu_migrate()701 BUG_ON(is_idle_vcpu(v)); in null_vcpu_check()703 BUG_ON(!is_idle_vcpu(v)); in null_vcpu_check()836 if ( nvc && !is_idle_vcpu(nvc->vcpu) ) in null_dump_pcpu()
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()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()1243 if ( is_idle_vcpu(iter_vc) ) in runq_tickle()1301 BUG_ON( is_idle_vcpu(vc) ); in rt_vcpu_wake()[all …]
660 BUG_ON( is_idle_vcpu(vc) ); in __csched_vcpu_check()665 BUG_ON( !is_idle_vcpu(vc) ); in __csched_vcpu_check()945 ASSERT( !is_idle_vcpu(svc->vcpu) ); in csched_vcpu_acct()1031 BUG_ON( is_idle_vcpu(vc) ); in csched_vcpu_insert()1095 BUG_ON( is_idle_vcpu(vc) ); in csched_vcpu_sleep()1117 BUG_ON( is_idle_vcpu(vc) ); in csched_vcpu_wake()1595 if ( !is_idle_vcpu(current) ) in csched_tick()1640 BUG_ON( is_idle_vcpu(vc) ); in csched_runq_steal()1870 if ( !is_idle_vcpu(scurr->vcpu) ) in csched_schedule()1906 && !is_idle_vcpu(current) in csched_schedule()[all …]
1281 ASSERT(!is_idle_vcpu(svc->vcpu)); in runq_insert()1991 BUG_ON( is_idle_vcpu(vc) ); in csched2_vcpu_check()1996 BUG_ON( !is_idle_vcpu(vc) ); in csched2_vcpu_check()2022 if ( ! is_idle_vcpu(vc) ) in csched2_alloc_vdata()2053 ASSERT(!is_idle_vcpu(vc)); in csched2_vcpu_sleep()2079 ASSERT(!is_idle_vcpu(vc)); in csched2_vcpu_wake()2166 else if ( !is_idle_vcpu(vc) ) in csched2_context_saved()3096 ASSERT(!is_idle_vcpu(vc)); in csched2_vcpu_insert()3134 ASSERT(!is_idle_vcpu(vc)); in csched2_vcpu_remove()3164 if ( is_idle_vcpu(snext->vcpu) ) in csched2_runtime()[all …]
428 if ( !is_idle_vcpu(vc) ) in a653sched_alloc_vdata()450 if ( !is_idle_vcpu(av->vc) ) in a653sched_free_vdata()607 if ( !is_idle_vcpu(new_task) in a653sched_do_schedule()668 ASSERT(!pdata && svc && is_idle_vcpu(svc->vc)); in a653_switch_sched()
150 if ( !is_idle_vcpu(current) ) in dump_execstate()
154 if ( is_idle_vcpu(v) ) in vcpu_urgent_count_update()
72 if ( !is_idle_vcpu(curr) ) in restore_rest_processor_state()85 if ( !is_idle_vcpu(curr) && curr->arch.debugreg[7] ) in restore_rest_processor_state()
210 ASSERT(!is_idle_vcpu(v)); in vcpu_restore_fpu_eager()242 ASSERT(!is_idle_vcpu(v)); in vcpu_restore_fpu_lazy()268 ASSERT(!is_idle_vcpu(v)); in _vcpu_save_fpu()
504 if ( !is_idle_vcpu(v) || !cpu_has_xsavec ) in xstate_alloc_save_area()
147 ASSERT(is_idle_vcpu(v)); in startup_cpu_idle_loop()
27 ASSERT(!is_idle_vcpu(v)); in local_events_need_delivery()
96 if ( is_idle_vcpu(p) ) in ctxt_switch_from()178 if ( is_idle_vcpu(n) ) in ctxt_switch_to()319 if ( is_idle_vcpu(current) ) in continue_new_vcpu()471 ASSERT(is_idle_vcpu(v)); in startup_cpu_idle_loop()536 if ( is_idle_vcpu(v) ) in vcpu_initialise()
142 ASSERT(!is_idle_vcpu(v)); in virt_timer_save()158 ASSERT(!is_idle_vcpu(v)); in virt_timer_restore()
74 ASSERT(!is_idle_vcpu(v)); in gic_save_state()88 ASSERT(!is_idle_vcpu(v)); in gic_restore_state()606 if ( is_idle_vcpu(v) ) in gic_clear_lrs()
257 if ( unlikely(is_idle_vcpu(current)) ) in vtimer_interrupt()
117 if ( is_idle_vcpu(n) ) in p2m_restore_state()
726 if ( is_idle_vcpu(current) ) in __do_trap_serror()
103 if ( is_pv_vcpu(current) && !is_idle_vcpu(current) ) in efi_rs_enter()124 if ( is_pv_vcpu(current) && !is_idle_vcpu(current) ) in efi_rs_leave()
495 #define is_idle_vcpu(v) (is_idle_domain((v)->domain)) macro732 (!is_idle_vcpu(current) && local_events_need_delivery()) \
136 if (next && is_pv_vcpu(next) && !is_idle_vcpu(next) && in intel_ctxt_switch_masking()
222 if (next && is_pv_vcpu(next) && !is_idle_vcpu(next) && in amd_ctxt_switch_masking()
72 if ( v && !is_idle_vcpu(v) ) in _show_registers()
Completed in 89 milliseconds