Searched refs:slots (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | untyped.c | 44 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 D | objecttype.c | 479 * 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 D | objecttype.h | 31 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
|
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | cspace.tex | 20 \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 D | bootup.tex | 23 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 D | vspace.tex | 37 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 D | objects.tex | 74 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 D | regAlloc.sml | 146 (* 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 D | n32.S | 94 # Fix the stack if there are more than 8 64bit slots worth
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | funCall.sml | 182 (* 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 D | funCall.sml | 170 (* 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 D | funCall.sml | 167 (* Given a list of registers and memory slots, group consecutive registers together to be used by mpush and mpop *)
|
Completed in 168 milliseconds