diff -r d11fab90a58e xen/common/sched_credit.c --- a/xen/common/sched_credit.c Mon Aug 31 11:25:47 2009 +0100 +++ b/xen/common/sched_credit.c Mon Aug 31 13:50:56 2009 +0100 @@ -218,7 +218,8 @@ /* Assert svc is current */ ASSERT(svc==CSCHED_VCPU(per_cpu(schedule_data, svc->vcpu->processor).curr)); - if ( is_idle_vcpu(svc->vcpu) ) + /* Don't debit idle vcpus or inactive vcpus */ + if ( is_idle_vcpu(svc->vcpu) || list_empty(&svc->active_vcpu_elem) ) return; delta = (now - svc->start_time);