|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] [xen-unstable] Clean up event-channel debug-key output,
# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1281685151 -3600
# Node ID 7d02b1046d143825f81c42192105741027e7357f
# Parent 6471b8b714011621752408ce9f7aabe2702486ae
Clean up event-channel debug-key output, and use spin_lock().
Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>
---
xen/common/event_channel.c | 11 ++++-------
1 files changed, 4 insertions(+), 7 deletions(-)
diff -r 6471b8b71401 -r 7d02b1046d14 xen/common/event_channel.c
--- a/xen/common/event_channel.c Fri Aug 13 08:38:35 2010 +0100
+++ b/xen/common/event_channel.c Fri Aug 13 08:39:11 2010 +0100
@@ -1123,14 +1123,11 @@ static void domain_dump_evtchn_info(stru
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 )
{
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] [xen-unstable] Clean up event-channel debug-key output, and use spin_lock().,
Xen patchbot-unstable <=
|
|
|
|
|