ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
b57ccf3517
genode/repos/os/include/platform_session
History
Norman Feske 7e26d3ef3f Give diagnostic aid to callers of 'dma_addr' 
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
2022-02-15 10:17:28 +01:00
..
capability.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
client.h Give diagnostic aid to callers of 'dma_addr' 2022-02-15 10:17:28 +01:00
connection.h os: add platform_session/dma_buffer.h 2022-02-15 10:16:52 +01:00
device.h os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
dma_buffer.h os: add platform_session/dma_buffer.h 2022-02-15 10:16:52 +01:00
platform_session.h os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00