![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Region of driver memory, that shall be managed locally. More...
#include <l4virtio>
Public Member Functions | |
Driver_mem_region_t () | |
Make default empty memory region. | |
Driver_mem_region_t (l4_uint64_t drv_base, l4_umword_t size, l4_addr_t offset, Ds_cap &&ds) | |
Make a local memory region for the given driver values. | |
bool | is_writable () const |
Flags | flags () const |
bool | empty () const |
l4_uint64_t | drv_base () const |
l4_addr_t | local_base () const |
l4_umword_t | size () const |
l4_addr_t | ds_offset () const |
L4::Cap< L4Re::Dataspace > | ds () const |
bool | contains (l4_uint64_t base, l4_umword_t size) const |
Test if the given driver address range is within this region. | |
template<typename T> | |
T * | local (Ptr< T > p) const |
Get the local address for driver address p. |
Region of driver memory, that shall be managed locally.
DATA | Class defining additional information |
|
inline |
Make a local memory region for the given driver values.
drv_base | Base address of the memory region used by the driver. |
size | Size of the memory region. |
offset | Offset within the data space that is mapped to drv_base within the driver. |
ds | Data space capability backing the memory. |
This constructor attaches the region of given data space to the local address space and stores the corresponding data for later reference.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Get the local address for driver address p.
p | Driver address to translate. |
Definition at line 616 of file l4virtio.
Referenced by L4virtio::Svr::Driver_mem_list_t< No_custom_data >::load_desc().
|
inline |
|
inline |