//
// Copyright (c) 2010-2026 Antmicro
//
// This file is licensed under the MIT License.
// Full license text is available in 'licenses/MIT.txt'.
//
#pragma once

#include <cstdint>
#include <optional>
#include <systemc>
#include <tlm>

struct IRenodeBridge {
  virtual void reset() = 0;
  virtual tlm::tlm_fw_transport_if<> *tlm_route(std::uint64_t offset) = 0;
  virtual void gpio_port_write(int number, bool value) = 0;
  virtual ~IRenodeBridge() = default;
};

struct DmiRegion {
  std::uint8_t *ptr;
  std::uint64_t start;
  std::uint64_t end;
};

using renode_bridge_factory_t = IRenodeBridge* (*)();
void register_renode_bridge_factory(renode_bridge_factory_t);

extern "C" {
  void systemc_init();
  void systemc_reset();
  void systemc_start_sim(int ns);

  std::uint64_t tlm_read(std::size_t size, std::uint64_t offset);
  void tlm_write(std::size_t size, std::int64_t value, std::uint64_t offset);

  void gpio_write(int number, bool value);
  void renode_gpio_update(int number, int value);

  void renode_invalidate_translation_blocks(std::uint64_t start_address, std::uint64_t end_address);
  void renode_read_bytes_from_bus(std::uint64_t address, void *out_buf, std::int32_t count);
  void renode_write_bytes_to_bus(std::uint64_t address, void *in_buf, std::int32_t count);
}

std::optional<DmiRegion> renode_get_direct_mem_ptr(uint64_t address);
