amp_uio_device.h

Go to the documentation of this file.

// SPDX-License-Identifier: AGPL-3.0-or-later
// Commercial license available
// © Concepts 1996–2026 Miroslav Šotek. All rights reserved.
// © Code 2020–2026 Miroslav Šotek. All rights reserved.
// ORCID: 0009-0009-3560-0851
// Contact: www.anulum.li | protoscience@anulum.li
// Loop Timing Witness — separate Linux AMP mailbox and fabric ownership

 
#ifndef WITNESS_AMP_UIO_DEVICE_H
#define WITNESS_AMP_UIO_DEVICE_H
#include "uio_device.h"
extern "C" {
#include "../bare_metal/amp_contract.h"
}
 
namespace witness {
struct AmpUioMap {
    std::uint32_t index;
    std::uint64_t address, bytes;
    std::string name;
};

class AmpUioDevice {
    int descriptor = -1;
    void *registers = nullptr, *telemetry = nullptr;
    std::size_t register_bytes = 0, telemetry_bytes = 0;
    std::uint64_t shared = 0;
    void close() noexcept;
    std::size_t offset(std::uint64_t address) const;
 
  public:
    AmpUioDevice(const UioIdentity &identity, const AmpUioMap &fabric, const AmpUioMap &mailbox);
    ~AmpUioDevice();
    AmpUioDevice(const AmpUioDevice &) = delete;
    AmpUioDevice &operator=(const AmpUioDevice &) = delete;
    std::uint64_t time() const;
    void advance(std::uint64_t nanoseconds);
    ProtocolReply read(std::uint8_t address);
    ProtocolReply write(std::uint8_t address, std::uint32_t value, std::uint8_t strobes);
    std::uint32_t read_memory32(std::uint64_t address);
    void write_memory32(std::uint64_t address, std::uint32_t value);
};
} // namespace witness
 
#endif