ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11a6117da6
genode/repos/os/include/platform_session
History
Stefan Kalkowski 6a7247ab44 platform: remove cache attribute from io_mem call 
Instead of allowing the client to set a caching attribute
in the io_mem() call of the device interface, which was
only used to decide in between of the memory  being
write-combined or not, remove it from the API.
Instead use the information delivered by the devices ROM,
whether memory from a PCI BAR is prefetchable or not,
to decide whether it is mapped write-combined or not.

Ref genodelabs/genode#4578
2022-10-12 12:09:34 +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: remove cache attribute from io_mem call 2022-10-12 12:09:34 +02:00
dma_buffer.h platform_drv: wait for device's availability 2022-05-25 12:19:32 +02:00
platform_session.h platform: remove cache attribute from io_mem call 2022-10-12 12:09:34 +02:00