diff -r ead107bc25cb xen/common/event_channel.c
--- a/xen/common/event_channel.c	Fri Sep 04 08:43:05 2009 +0100
+++ b/xen/common/event_channel.c	Fri Sep 04 10:45:26 2009 +0100
@@ -1080,8 +1080,8 @@
     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 @@
         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 )
         {