Barrelfish
|
Data Fields | |
lvaddr_t | vaddr |
virtual address of the mapped region | |
lpaddr_t | paddr |
physical address of the underlying frame | |
uint64_t | bytes |
size of the region in bytes | |
struct capref | frame |
frame capability backing this region | |
uint64_t | requested |
requested size of the region in bytes (<= bytes) | |
represents a mapped piece of memory for DMA management purposes