ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-07 11:08:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/include/platform_session
History
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