tree f133786c7cdbe6f36182484cc85394f62b7f901d
parent a52521f149c42b35a28423ee30be9a7afa51dfbf
author Ian Campbell <ian.campbell@citrix.com> 1287139966 +0100
committer Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> 1287777455 -0700

xen: improvements to VIRQ_DEBUG output

* Fix bitmask formatting on 64 bit by specifying correct field widths.

* Output both global and local masked and pending information.

* Indicate in list of pending interrupts whether they are pending in
  the L2, masked globally and/or masked locally.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>