Barrelfish
Data Structures | Variables
caddr.h File Reference

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.
 

Detailed Description

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.