Barrelfish
|
Inline functions to allow manipulation of raw capability addresses. More...
Data Structures | |
struct | cnoderef |
User-level representation of a CNode, this is essentially a capref to a CNode. More... | |
struct | capref |
User-level representation of a capability and its CSpace address. More... | |
Variables | |
struct cnoderef cnode_root cnode_task cnode_base cnode_super cnode_page | cnode_module |
Module CNode. | |
struct capref cap_root cap_monitorep cap_irq cap_io cap_dispatcher cap_selfep cap_kernel cap_initep cap_perfmon cap_dispframe cap_sessionid cap_ipi cap_vroot | cap_argcn |
Capability for ArgSpace. | |
Inline functions to allow manipulation of raw capability addresses.
This file is not part of the standard includes, because most user code should treat capref as an opaque value.