fix interrupts

Author: IgnoreWarnings

lib/core.cpp

@@ -184,7 +184,9 @@ std::list<std::shared_ptr<Core>> CoreFactory::make(Card *card,
       //     return device.get_name() == nameToFind;
       // });
 
+      //! TODO: Order of interrupts is hardcoded and not tested (may be reversed). Aviable in vfio device irq.id .
       std::vector<const char *> intc_names = {"mm2s_introut", "s2mm_introut"};
+      int num = 0;
       for (auto name : intc_names)
       {
         auto intc = new PlatformInterruptController();
@@ -193,11 +195,11 @@ std::list<std::shared_ptr<Core>> CoreFactory::make(Card *card,
 
         const char *irqName = name;
         std::string irqControllerName = "PlatformInterruptController";
-        int num = 0;
 
         logger->debug("IRQ: {} -> {}:{}", irqName, irqControllerName, num);
         ip->irqs[irqName] = {num, intc, ""};
 
+        num++;
       }
     }