1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include "dm/dmrpc.h"
6
7#include <libconfig/libconfig.h>
8#include <librpc/rpc_server++.hpp>
9#include <librpc/rpc_server.h>
10
11RPC_DECL_SERVER_INTERFACE_CLASS(IDeviceManager, DEVICE_MANAGER_RPCS_X);
12
13class DeviceManagerServer : public IDeviceManager
14{
15 public:
16 DeviceManagerServer() : IDeviceManager(MOS_DEVICE_MANAGER_SERVICE_NAME) {};
17 virtual rpc_result_code_t register_device(rpc_context_t *context, s32 vendor, s32 devid, s32 location, s64 mmio_base) override;
18 virtual rpc_result_code_t register_driver(rpc_context_t *context) override;
19};
20