L4Re Operating System Framework
Interface and Usage Documentation
|
Pointer used in virtio descriptors. More...
#include <virtqueue>
Public Types | |
enum | Invalid_type { Invalid } |
Type for making an invalid (NULL) Ptr. More... | |
Public Member Functions | |
Ptr (Invalid_type) | |
Make and invalid Ptr. | |
Ptr (l4_uint64_t vm_addr) | |
Make a Ptr from a raw 64bit address. | |
l4_uint64_t | get () const |
bool | is_valid () const |
Pointer used in virtio descriptors.
As the descriptor contain guest addresses these pointers cannot be dereferenced directly.
enum L4virtio::Ptr::Invalid_type |
|
inline |
Definition at line 69 of file virtqueue.
Referenced by L4virtio::Virtqueue::Desc::dump(), L4virtio::Svr::Driver_mem_list_t< DATA >::load_desc(), L4virtio::Svr::Driver_mem_list_t< DATA >::load_desc(), L4virtio::Svr::Driver_mem_list_t< DATA >::load_desc(), and L4virtio::Svr::Driver_mem_region_t< DATA >::local().
|
inline |