Lines Matching refs:which
12 capabilities that the thread possesses, thereby governing which
16 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may
23 some \obj{CNode} in the CSpace), which may or may not contain a
39 derivation tree} (CDT) in which it tracks the relationship between
92 to the slot in which it is currently.
103 same, in which case the capability in it is swapped with the
130 index into the \obj{CNode} at which the first capability will be placed.
145 can be invoked. seL4 supports four access rights, which
322 either be empty, or contain a capability, which may refer to another \obj{CNode}.
324 must be a power of two. A \obj{CNode} is said to have a \emph{radix}, which is
325 the power to which two is raised in its size. That is, if a \obj{CNode} has
329 stores not only a reference to the \obj{CNode} to which it refers, but
345 index into the \obj{CNode} to which the \obj{CNode} capability
392 A capability address is stored in a CPointer (abbreviated CPTR), which
408 capability address, which refers to the first slot in the range,
441 CNode is reached via the L3 CNode Cap, which resides at index 0x00
447 providing a base address (which refers to the slot containing Cap C)
452 the depth limit, which is the maximum number of bits to be
454 which has a 4-bit guard of 0x0. Hence, its address is 0x00F00000,
458 second CNode, which is reached by the L2 CNode Cap. The second CNode
483 A CSpace CPTR root (within which a capability was to be looked up)