![]() |
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 |