ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Give diagnostic aid to callers of 'dma_addr'

Browse Source 
If the platform driver lacks the 'managing_system="yes"' attribute,
requests for DMA addresses return 0. This patch is meant to help
diagnosing such configuration issues.

Issue #2243
This commit is contained in:
Norman Feske 2022-02-03 15:47:29 +01:00
parent cbe3e49c7f
commit 7e26d3ef3f
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
repos/os/include/platform_session/client.h
View File

@ -15,6 +15,7 @@
#define _INCLUDE__PLATFORM_SESSION__CLIENT_H_ #define _INCLUDE__PLATFORM_SESSION__CLIENT_H_
#include <base/rpc_client.h> #include <base/rpc_client.h>
#include <base/log.h>
#include <platform_session/capability.h> #include <platform_session/capability.h>
namespace Platform { struct Client; } namespace Platform { struct Client; }
@ -43,8 +44,16 @@ struct Platform::Client : Genode::Rpc_client<Session>
void free_dma_buffer(Ram_dataspace_capability cap) override { void free_dma_buffer(Ram_dataspace_capability cap) override {
call<Rpc_free_dma_buffer>(cap); } call<Rpc_free_dma_buffer>(cap); }
addr_t dma_addr(Ram_dataspace_capability cap) override { addr_t dma_addr(Ram_dataspace_capability cap) override
return call<Rpc_dma_addr>(cap); } {
addr_t const result = call<Rpc_dma_addr>(cap);
/* the platform driver may lack the 'managing_system' role */
if (!result)
warning("unable to obtain DMA address from platform driver");
return result;
}
}; };
#endif /* _INCLUDE__PLATFORM_SESSION__CLIENT_H_ */ #endif /* _INCLUDE__PLATFORM_SESSION__CLIENT_H_ */