diff options
author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-06-05 16:32:01 -0700 |
---|---|---|
committer | Jerry Zhao <jerryz123@berkeley.edu> | 2023-06-20 12:23:47 -0700 |
commit | 3ab4107b81e7b6c42bf60010d1fa598e9058a7c9 (patch) | |
tree | d074eab69421793e58db19c3325a3c99a594f03d /riscv/sim.cc | |
parent | 6ae3783b08b86303836babcc7a8b473cf37b7c64 (diff) | |
download | spike-3ab4107b81e7b6c42bf60010d1fa598e9058a7c9.zip spike-3ab4107b81e7b6c42bf60010d1fa598e9058a7c9.tar.gz spike-3ab4107b81e7b6c42bf60010d1fa598e9058a7c9.tar.bz2 |
device_t: device_factories should be const
Diffstat (limited to 'riscv/sim.cc')
-rw-r--r-- | riscv/sim.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/riscv/sim.cc b/riscv/sim.cc index 3283e5c..50dc4f6 100644 --- a/riscv/sim.cc +++ b/riscv/sim.cc @@ -120,7 +120,7 @@ sim_t::sim_t(const cfg_t *cfg, bool halted, // that's not bus-accessible), but it should handle the normal use cases. In // particular, the default device tree configuration that you get without // setting the dtb_file argument has one. - std::vector<device_factory_t*> device_factories = { + std::vector<const device_factory_t*> device_factories = { clint_factory, // clint must be element 0 plic_factory, // plic must be element 1 ns16550_factory}; @@ -138,7 +138,7 @@ sim_t::sim_t(const cfg_t *cfg, bool halted, } else { std::pair<reg_t, reg_t> initrd_bounds = cfg->initrd_bounds(); std::string device_nodes; - for (device_factory_t *factory : device_factories) + for (const device_factory_t *factory : device_factories) device_nodes.append(factory->generate_dts(this)); dts = make_dts(INSNS_PER_RTC_TICK, CPU_HZ, initrd_bounds.first, initrd_bounds.second, @@ -162,7 +162,7 @@ sim_t::sim_t(const cfg_t *cfg, bool halted, void *fdt = (void *)dtb.c_str(); for (size_t i = 0; i < device_factories.size(); i++) { - device_factory_t *factory = device_factories[i]; + const device_factory_t *factory = device_factories[i]; reg_t device_base = 0; abstract_device_t* device = factory->parse_from_fdt(fdt, this, &device_base); if (device) { |