Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>

--- 2010-02-09.orig/xen/common/event_channel.c	2010-01-13 18:58:11.000000000 +0100
+++ 2010-02-09/xen/common/event_channel.c	2010-02-11 10:31:38.000000000 +0100
@@ -1066,9 +1066,11 @@ void evtchn_destroy_final(struct domain 
 
 static void domain_dump_evtchn_info(struct domain *d)
 {
+    static char buffer[MAX_VIRT_CPUS/4 + MAX_VIRT_CPUS/32 + 3];
     unsigned int port;
 
-    printk("Domain %d polling vCPUs: %08lx\n", d->domain_id, d->poll_mask[0]);
+    bitmap_scnprintf(buffer, ARRAY_SIZE(buffer), d->poll_mask, d->max_vcpus);
+    printk("Domain %d polling vCPUs: %s\n", d->domain_id, buffer);
 
     if ( !spin_trylock(&d->event_lock) )
         return;