Barrelfish
|
Node in the meta-data, corresponds to an actual VNode object. More...
Data Fields | |
uint16_t | entry |
Page table entry of this VNode. | |
bool | is_vnode |
Is this a page table or a page mapping. More... | |
struct vnode * | next |
Next entry in list of siblings. | |
struct capref | mapping |
the mapping for this vnode More... | |
struct capref | cap |
Capability of this VNode. More... | |
struct capref | invokable |
Copy of VNode cap that is invokable. More... | |
struct vnode * | children |
Children of this VNode. | |
genvaddr_t | offset |
Offset within mapped frame cap. | |
vregion_flags_t | flags |
Flags for mapping. | |
size_t | pte_count |
number of mapped PTEs in this mapping | |
uint16_t | pte_count |
number of page table entries consumed by this mapping | |
Node in the meta-data, corresponds to an actual VNode object.
struct capref vnode::cap |
Capability of this VNode.
Frame cap.
VNode cap.
struct capref vnode::invokable |
Copy of VNode cap that is invokable.
Invokable copy of Capability of this VNode.
bool vnode::is_vnode |
Is this a page table or a page mapping.
Is this a vnode, or a (leaf) page mapping.
struct capref vnode::mapping |
the mapping for this vnode
mapping cap associated with this node
Mapping cap for this vnode.