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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c44 slot_range_t slots; local
159 /* Ensure that the destination slots are all empty. */
160 slots.cnode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap));
161 slots.offset = nodeOffset;
162 slots.length = nodeWindow;
164 status = ensureEmptySlot(slots.cnode + i);
232 slots, deviceMemory);
H A Dobjecttype.c479 * the destination slots.
489 createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument
499 totalObjectSize = slots.length << objectSize;
505 for (i = 0; i < slots.length; i++) {
511 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
/seL4-l4v-10.1.1/seL4/include/object/
H A Dobjecttype.h31 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dcspace.tex20 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may
64 When creating a \obj{CNode} the user must specify the number of slots
72 enough free capability slots available in existing \obj{CNode}s for
94 between two specified capability slots. You cannot move a capability
102 capabilities between three specified capability slots. It is
105 third to the second. The first and third specified slots may be the
130 newly-retyped objects are placed in consecutive slots in a
135 to create. All slots must be empty or an error will result. All resulting
315 objects, and each \obj{CNode} is a table of slots, where each slot can
317 Recall from \autoref{s:sel4_internals} that the number of slots i
[all...]
H A Dbootup.tex23 slots), but the guard is always chosen so that the CNode resolves exactly
27 The first 12 slots contain specific capabilities as listed in
65 CNode slots with CPTR \texttt{seL4\_NumInitialCaps} (defined in the seL4
82 of slots in the initial thread's CNode, starting with CPTR \texttt{start} and with
99 \texttt{seL4\_SlotRegion} & \texttt{empty} & empty slots (null caps) \\
106 \texttt{seL4\_Uint8} & \texttt{initThreadCNodeSizeBits} & CNode size ($2^n$ slots) \\
H A Dvspace.tex37 In general, each paging structure at each level contains slots where the next level paging structure,
198 Mappings for sections and super sections consume 16 slots in the page table and page directory
H A Dobjects.tex74 slots, where each slot may contain further \obj{CNode} capabilities. An
76 of slots within \obj{CNodes} forming the path to the destination
228 Each \obj{CNode} has a fixed number of slots,
/seL4-l4v-10.1.1/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-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dn32.S94 # Fix the stack if there are more than 8 64bit slots worth
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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 168 milliseconds