Searched refs:slots (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/seL4/src/object/
H A Duntyped.c38 slot_range_t slots; local
162 /* Ensure that the destination slots are all empty. */
163 slots.cnode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap));
164 slots.offset = nodeOffset;
165 slots.length = nodeWindow;
167 status = ensureEmptySlot(slots.cnode + i);
235 slots, deviceMemory);
H A Dobjecttype.c567 * the destination slots.
586 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument
596 totalObjectSize = slots.length << objectSize;
602 for (i = 0; i < slots.length; i++) {
608 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
/seL4-l4v-master/seL4/include/object/
H A Dobjecttype.h26 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
/seL4-l4v-master/seL4/manual/parts/
H A Dcspace.tex16 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may
60 When creating a \obj{CNode} the user must specify the number of slots
69 enough free capability slots available in existing \obj{CNode}s for
91 between two specified capability slots. You cannot move a capability
99 capabilities between three specified capability slots. It is
102 third to the second. The first and third specified slots may be the
127 newly-retyped objects are placed in consecutive slots in a
132 to create. All slots must be empty or an error will result. All resulting
321 objects, and each \obj{CNode} is a table of slots, where each slot can
323 Recall from \autoref{s:sel4_internals} that the number of slots i
[all...]
H A Dbootup.tex26 slots), but the guard is always chosen so that the CNode resolves exactly
30 The first 12 slots contain specific capabilities as listed in
69 CNode slots with CPTR \texttt{seL4\_NumInitialCaps} (defined in the seL4
86 of slots in the initial thread's CNode, starting with CPTR \texttt{start} and with
103 \texttt{seL4\_SlotRegion} & \texttt{empty} & empty slots (null caps) \\
109 \texttt{seL4\_Uint8} & \texttt{initThreadCNodeSizeBits} & CNode size ($2^n$ slots) \\
H A Dvspace.tex33 In general, each paging structure at each level contains slots where the next level paging structure,
194 Mappings for sections and super sections consume 16 slots in the page table and page directory
H A Dobjects.tex78 slots, where each slot may contain further \obj{CNode} capabilities. An
80 of slots within \obj{CNodes} forming the path to the destination
271 Each \obj{CNode} has a fixed number of slots,
467 \obj{CNode} & $\log_2$ number of slots & $2^\texttt{size\_bits} \cdot 2^\texttt{seL4\_SlotBits}$
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A DregAlloc.sml146 (* Rules for replacing variables with registers or memory slots. *)
419 (* Reduce the number of memory slots by reusing memory variables. *)
421 (* assume an unlimited number of memory slots. *)
424 (* The first available memory slot that doesn't conflict with live "slots" *)
445 (* reuse memory slots that will not be "live" any more *)
634 (* Assign registers to inputs; memory slots will be used when there are too *)
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DfunCall.sml182 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml170 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml167 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)

Completed in 115 milliseconds