fixes clint irq count propagation

Author: eyck

src/sysc/core2sc_adapter.h

@@ -103,6 +103,8 @@ template <typename PLAT> class core2sc_adapter : public PLAT, public sc2core_if
                 util::delegate<void(uint64_t, std::string const&, bool)>::from<this_class, &this_class::record_n_print_disass>(nullptr);
     }
 
+    void set_clint_irq_count(size_t num) override { this->set_clint_irq_num(num); }
+
     void register_unknown_instr_handler(util::delegate<iss::arch_if::unknown_instr_cb_t> handler) override {
         PLAT::unknown_instr_cb = handler;
     };
@@ -260,7 +262,8 @@ template <typename PLAT> class core2sc_adapter : public PLAT, public sc2core_if
             while((this->csr[iss::arch::mip] & this->csr[iss::arch::mie]) == 0) {
                 sc_core::wait(this->wfi_evt | this->debugger_stop_evt);
                 bool is_debugger_stop_evt = this->debugger_stop_evt.triggered();
-                if(is_debugger_stop_evt) break;
+                if(is_debugger_stop_evt)
+                    break;
             }
             SCCINFO(this->owner->hier_name()) << "Got WFI event";
         };

src/sysc/core_complex.cpp

@@ -166,6 +166,7 @@ void core_complex<BUSWIDTH, QK>::create_cpu(std::string const& type, std::string
             SCCFATAL() << "Could not create vm for isa " << type << " and backend " << backend;
     } else {
         core->set_hartid(hart_id);
+        core->set_clint_irq_count(clint_irq_i.size());
         auto* srv = debugger::server<debugger::gdb_session>::get();
         if(srv)
             tgt_adapter = srv->get_target(0); // FIXME: add core_id

src/sysc/sc2core_if.h

@@ -65,6 +65,7 @@ struct sc2core_if {
     using wr_csr_f = std::function<iss::status(unsigned addr, uint64_t)>;
     util::delegate<void(unsigned, wr_csr_f)> register_csr_wr;
     virtual void register_unknown_instr_handler(util::delegate<iss::arch_if::unknown_instr_cb_t>) = 0;
+    virtual void set_clint_irq_count(size_t) = 0;
 };
 } // namespace sysc
 #endif /* _SYSC_SC2CORE_IF_H_ */