ia64/xen-unstable

changeset 8501:f26ae65f3f95

Add pending status to irq debugkey dump.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Wed Jan 04 12:37:27 2006 +0100 (2006-01-04)
parents e0a0ebad0535
children 572abc9efcf5
files xen/arch/x86/irq.c
line diff
     1.1 --- a/xen/arch/x86/irq.c	Wed Jan 04 12:18:02 2006 +0100
     1.2 +++ b/xen/arch/x86/irq.c	Wed Jan 04 12:37:27 2006 +0100
     1.3 @@ -335,17 +335,28 @@ static void dump_irqs(unsigned char key)
     1.4          {
     1.5              action = (irq_guest_action_t *)desc->action;
     1.6  
     1.7 -            printk("IRQ%3d Vec%3d: type=%-15s in-flight=%d domain-list=",
     1.8 -                   irq, vector, desc->handler->typename, action->in_flight);
     1.9 +            printk("IRQ%3d Vec%3d: type=%-15s status=%08x "
    1.10 +                   "in-flight=%d domain-list=",
    1.11 +                   irq, vector, desc->handler->typename,
    1.12 +                   desc->status, action->in_flight);
    1.13  
    1.14              for ( i = 0; i < action->nr_guests; i++ )
    1.15              {
    1.16                  d = action->guest[i];
    1.17 -                printk("%u(%c%c)",
    1.18 +                printk("%u(%c%c%c%c)",
    1.19                         d->domain_id,
    1.20                         (test_bit(d->pirq_to_evtchn[irq],
    1.21 -                                 &d->shared_info->evtchn_mask[0]) ? 'M' : '-'),
    1.22 -                       (test_bit(irq, &d->pirq_mask) ? 'M' : '-'));
    1.23 +                                 &d->shared_info->evtchn_pending[0]) ?
    1.24 +                        'P' : '-'),
    1.25 +                       (test_bit(d->pirq_to_evtchn[irq]/BITS_PER_LONG,
    1.26 +                                 &d->shared_info->vcpu_info[0].
    1.27 +                                 evtchn_pending_sel) ?
    1.28 +                        'S' : '-'),
    1.29 +                       (test_bit(d->pirq_to_evtchn[irq],
    1.30 +                                 &d->shared_info->evtchn_mask[0]) ?
    1.31 +                        'M' : '-'),
    1.32 +                       (test_bit(irq, &d->pirq_mask) ?
    1.33 +                        'M' : '-'));
    1.34                  if ( i != action->nr_guests )
    1.35                      printk(",");
    1.36              }