| // |
| // Copyright (c) 2010-2024 Antmicro |
| // |
| // This file is licensed under the MIT License. |
| // Full license text is available in 'licenses/MIT.txt'. |
| // |
| #ifndef RENODE_DPI_H |
| #define RENODE_DPI_H |
| #include "renode.h" |
| |
| extern "C" |
| { |
| void renodeDPIConnect(int receiverPort, int senderPort, const char *address); |
| void renodeDPIDisconnect(); |
| bool renodeDPIIsConnected(); |
| bool renodeDPIReceive(uint32_t *actionId, uint64_t *address, uint64_t *value, int32_t *peripheralIndex); |
| bool renodeDPISend(uint32_t actionId, uint64_t address, uint64_t value, int32_t peripheralIndex); |
| bool renodeDPISendToAsync(uint32_t actionId, uint64_t address, uint64_t value, int32_t peripheralIndex); |
| bool renodeDPILog(int logLevel, const char *data); |
| } |
| |
| #endif |
