Use the same check that's used in dump_irqs().
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
master commit:
594b22ca5be681ec1b42c34f321cc2600d582210
master date: 2024-05-20 14:29:44 +0100
#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;