Stefan Kalkowski dda168fc10 platform API: simplify _wait_for_device ... Fix genodelabs/genode#4615		2022-09-21 12:19:10 +02: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_drv: wait for device's availability	2022-05-25 12:19:32 +02:00
dma_buffer.h	platform_drv: wait for device's availability	2022-05-25 12:19:32 +02:00
platform_session.h	platform: introduce I/O ports in API	2022-03-07 16:42:56 +01:00