# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1252309962 -3600
# Node ID 620e565387253a0d6bf0df999ef95c9ae4b7611b
# Parent 1eea8fa25abe088a41020f94bf358295f56b0e18
Tidy evtchn keyhandler a little
Get rid of all the -1s and label the pending and masked columns.
Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxx>
xen-unstable changeset: 20162:27e298295d68
xen-unstable date: Mon Sep 07 08:40:33 2009 +0100
---
xen/common/event_channel.c | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff -r 1eea8fa25abe -r 620e56538725 xen/common/event_channel.c
--- a/xen/common/event_channel.c Mon Sep 07 08:52:19 2009 +0100
+++ b/xen/common/event_channel.c Mon Sep 07 08:52:42 2009 +0100
@@ -1055,8 +1055,8 @@ static void domain_dump_evtchn_info(stru
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 )
{
@@ -1068,10 +1068,10 @@ static void domain_dump_evtchn_info(stru
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 )
{
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|