From e1c60c7545a3d5cd3be4bd777288a82c5c7fb821 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Mon, 7 Sep 2009 08:40:33 +0100 Subject: Tidy evtchn keyhandler a little Get rid of all the -1s and label the pending and masked columns. Signed-off-by: Tim Deegan --- xen/common/event_channel.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'xen/common/event_channel.c') diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index 9c2731788a..58be1729b0 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -1080,8 +1080,8 @@ static void domain_dump_evtchn_info(struct domain *d) if ( !spin_trylock(&d->event_lock) ) return; - printk("Event channel information for domain %d:\n", - d->domain_id); + printk("Event channel information for domain %d:\n" + " port [p/m]\n", d->domain_id); for ( port = 1; port < MAX_EVTCHNS(d); ++port ) { @@ -1093,10 +1093,10 @@ static void domain_dump_evtchn_info(struct domain *d) if ( chn->state == ECS_FREE ) continue; - printk(" %4u[%d/%d]: s=%d n=%d", + printk(" %4u [%d/%d]: s=%d n=%d", port, - test_bit(port, &shared_info(d, evtchn_pending)), - test_bit(port, &shared_info(d, evtchn_mask)), + !!test_bit(port, &shared_info(d, evtchn_pending)), + !!test_bit(port, &shared_info(d, evtchn_mask)), chn->state, chn->notify_vcpu_id); switch ( chn->state ) { -- cgit v1.2.3