Remove Dataspace::phys_addr RPC function

The official way to obtain DMA addresses for RAM dataspaces is
the RPC function 'Pd_session::dma_addr' now. User-level device drivers
should not call this function directly but use the 'Platform_session'
interface of the platform driver instead.

Fixes #2243
This commit is contained in:
Norman Feske
2022-02-11 14:40:13 +01:00
parent 84435662aa
commit 0d48b74bec
6 changed files with 16 additions and 25 deletions

View File

@ -120,6 +120,8 @@ namespace Genode {
addr_t core_local_addr() const { return _core_local_addr; }
bool io_mem() const { return _io_mem; }
Cache cacheability() const { return _cache; }
addr_t phys_addr() const { return _phys_addr; }
bool managed() const { return _managed; }
/**
* Return dataspace base address to be used for map operations
@ -149,15 +151,13 @@ namespace Genode {
List<Rm_region> &regions() { return _regions; }
/*************************
** Dataspace interface **
*************************/
size_t size() override { return _size; }
addr_t phys_addr() override { return _phys_addr; }
bool writable() override { return _writable; }
bool managed() { return _managed; }
size_t size() override { return _size; }
bool writable() override { return _writable; }
};
}