|
L4Re - L4 Runtime Environment
|
Region of driver memory, that shall be managed locally. More...
Inheritance diagram for L4virtio::Svr::Driver_mem_region_t< DATA >:
Collaboration diagram for L4virtio::Svr::Driver_mem_region_t< DATA >:Public Member Functions | |
| Driver_mem_region_t () | |
| Make default empty memroy 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. More... | |
| bool | is_writable () const |
| Flags | flags () const |
| bool | empty () const |
| l4_uint64_t | drv_base () const |
| void * | 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. More... | |
| template<typename T > | |
| T * | local (Ptr< T > p) const |
| Get the local address for driver address p. More... | |
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 540 of file l4virtio.
Referenced by L4virtio::Svr::Driver_mem_list_t< Ds_data >::load_desc().
Here is the caller graph for this function:
|
inline |
|
inline |