genode/repos/os/include/platform_session
Sebastian Sumpf 22460525a0 platform_session/dma_buffer: remove 'retry_with_upgrade'
'retry_with_upgrade' is called by 'platform_session/connection.h' ->
'alloc_dma_buffer' already.

issue #4667
2022-11-17 08:00:36 +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 platform API: simplify _wait_for_device 2022-09-21 12:19:10 +02:00
device.h platform: remove cache attribute from io_mem call 2022-10-12 12:09:34 +02:00
dma_buffer.h platform_session/dma_buffer: remove 'retry_with_upgrade' 2022-11-17 08:00:36 +01:00
platform_session.h platform: remove cache attribute from io_mem call 2022-10-12 12:09:34 +02:00