Use the same check that's used in dump_irqs().
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Release-acked-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <xen/param.h>
#include <xen/pci.h>
#include <xen/pci_regs.h>
+#include <xen/softirq.h>
#include <xen/iocap.h>
#include <xen/keyhandler.h>
#include <xen/pfn.h>
unsigned long flags;
const char *type = "???";
+ if ( !(irq & 0x1f) )
+ process_pending_softirqs();
+
if ( !irq_desc_initialized(desc) )
continue;