From b4fdb6da1e030d5f13929d88c607dc3d9c5b6b23 Mon Sep 17 00:00:00 2001 From: Juergen Gross Date: Wed, 16 Oct 2013 12:28:04 +0200 Subject: add cap value to credit scheduler debug info Currently only the weight is the only scheduling parameter printed for domains in the credit scheduler key handler. Add the cap value to be printed as well. Signed-off-by: Juergen Gross Acked-by: George Dunlap --- xen/common/sched_credit.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/common/sched_credit.c b/xen/common/sched_credit.c index e69d794a22..28dafcfb9a 100644 --- a/xen/common/sched_credit.c +++ b/xen/common/sched_credit.c @@ -1750,7 +1750,8 @@ csched_dump_vcpu(struct csched_vcpu *svc) if ( sdom ) { - printk(" credit=%i [w=%u]", atomic_read(&svc->credit), sdom->weight); + printk(" credit=%i [w=%u,cap=%u]", atomic_read(&svc->credit), + sdom->weight, sdom->cap); #ifdef CSCHED_STATS printk(" (%d+%u) {a/i=%u/%u m=%u+%u (k=%u)}", svc->stats.credit_last, -- cgit v1.2.3