From b91d9efd399d353b9fa900d4b45f19f3fbdb98fd Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 13 Aug 2010 08:39:11 +0100 Subject: [PATCH] Clean up event-channel debug-key output, and use spin_lock(). Signed-off-by: Jan Beulich --- xen/common/event_channel.c | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index 881fac87fb..c6241d0598 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -1123,14 +1123,11 @@ static void domain_dump_evtchn_info(struct domain *d) bitmap_scnlistprintf(keyhandler_scratch, sizeof(keyhandler_scratch), d->poll_mask, d->max_vcpus); - printk("Domain %d polling vCPUs: {%s}\n", - d->domain_id, keyhandler_scratch); - - if ( !spin_trylock(&d->event_lock) ) - return; - printk("Event channel information for domain %d:\n" - " port [p/m]\n", d->domain_id); + "Polling vCPUs: {%s}\n" + " port [p/m]\n", d->domain_id, keyhandler_scratch); + + spin_lock(&d->event_lock); for ( port = 1; port < MAX_EVTCHNS(d); ++port ) { -- 2.30.2