ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-19 07:38:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

x86: extend io_mem call of platform_drv

Browse Source 
Support allocation of sub I/O memory spaces of one I/O memory bar with
write-combined caching attribute.
This commit is contained in:
Alexander Boettcher
2015-09-09 11:06:36 +02:00
committed by Christian Helmuth
parent 8f849c9438
commit bdaf79e3b8
7 changed files with 74 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/os/include/platform_device/device.h
View File

@ -14,6 +14,7 @@
#ifndef _INCLUDE__PLATFORM_DEVICE__DEVICE_H_
#define _INCLUDE__PLATFORM_DEVICE__DEVICE_H_
#include <base/cache.h>
#include <irq_session/capability.h>
#include <io_mem_session/capability.h>
@ -29,7 +30,9 @@ struct Platform::Abstract_device
/**
* Get IO mem session capability of specified resource id
*/
virtual Genode::Io_mem_session_capability io_mem(Genode::uint8_t) = 0;
virtual Genode::Io_mem_session_capability io_mem(Genode::uint8_t,
Genode::Cache_attribute,
Genode::addr_t, Genode::size_t) = 0;
};
#endif /* _INCLUDE__PLATFORM_DEVICE__DEVICE_H_ */