1 //
2 // Copyright (c) 2010-2024 Antmicro
3 //
4 // This file is licensed under the MIT License.
5 // Full license text is available in 'licenses/MIT.txt'.
6 //
7 #ifndef RENODE_DPI_H
8 #define RENODE_DPI_H
9 #include "renode.h"
10 
11 extern "C"
12 {
13   void renodeDPIConnect(int receiverPort, int senderPort, const char *address);
14   void renodeDPIDisconnect();
15   bool renodeDPIIsConnected();
16   bool renodeDPIReceive(uint32_t *actionId, uint64_t *address, uint64_t *value, int32_t *peripheralIndex);
17   bool renodeDPISend(uint32_t actionId, uint64_t address, uint64_t value, int32_t peripheralIndex);
18   bool renodeDPISendToAsync(uint32_t actionId, uint64_t address, uint64_t value, int32_t peripheralIndex);
19   bool renodeDPILog(int logLevel, const char *data);
20 }
21 
22 #endif
23